Update clippy

flip1995 · flip1995 · commit 65c0ebd8abc4 · 2018-08-23T16:00:04.000+02:00
diff --git a/src/tools/clippy b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit f05a1038b59cd4217e58b3aef7a0751a0efd01e4
+Subproject commit e9c3d3d50261b9cc6143dc02885cda265e926d30
