Update Clippy

flip1995 · flip1995 · commit 059ab7715c1e · 2018-09-17T15:37:19.000+02:00
diff --git a/src/tools/clippy b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 183639b70bacf457920694d78a19cefe3565e1c0
+Subproject commit 125907ad08853b92d35e86aecebcf0f784f348d5
