update clippy

pietroalbini · pietroalbini · commit 78c88a189b1e · 2019-04-23T18:06:46.000+02:00
diff --git a/src/tools/clippy b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 1fac38088609747627b07807945224cf1ea642ca
+Subproject commit 726176e322c0d2182b7eddc857e5105e3915a675
