Update Clippy

flip1995 · flip1995 · commit 4240168edae7 · 2019-08-30T11:31:36.000+02:00
diff --git a/src/tools/clippy b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit a939d61cf7feac0f328aec07f050c4ac96c51d2c
+Subproject commit 70e7d075df7b3e11e61fa99b30e1ede26cee6afd
