1 files changed, 7 insertions, 8 deletions

diff --git a/src/tools/clippy b/src/tools/clippy
-Subproject cfb332005845883f2abb50fe183fc91221bad9d
+Subproject c807fbc8ba41432388b6f590668ba81314c07c3