Update Clippy

flip1995 · flip1995 · commit ac7141b14b89 · 2019-04-12T15:49:59.000+02:00
diff --git a/src/tools/clippy b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 37f5c1ec734f806fe98930b8d5f54f00013f06f1
+Subproject commit abf7f911d88e9209b54cfba2776d7dbca5a440ce
