Update Clippy

flip1995 · Xanewok · commit 4a0aef4d1ab7 · 2019-04-12T21:27:15.000+02:00
diff --git a/src/tools/clippy b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 37f5c1ec734f806fe98930b8d5f54f00013f06f1
+Subproject commit abf7f911d88e9209b54cfba2776d7dbca5a440ce
