Update the clippy submodule

diff --git a/src/tools/clippy b/src/tools/clippy
index 41972f89dcb99819191ffbf2381430e63e9d916d..141f79f8440229f705f47f06c47b46a44d65584b 160000 (submodule)
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 41972f89dcb99819191ffbf2381430e63e9d916d
+Subproject commit 141f79f8440229f705f47f06c47b46a44d65584b