Update Clippy

diff --git a/src/tools/clippy b/src/tools/clippy
index 05f603e6cec63d0b2681a84d4a64a51bccac1624..a939d61cf7feac0f328aec07f050c4ac96c51d2c 160000 (submodule)
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 05f603e6cec63d0b2681a84d4a64a51bccac1624
+Subproject commit a939d61cf7feac0f328aec07f050c4ac96c51d2c