bump clippy

pietroalbini · pietroalbini · commit 5f51210cc08b · 2019-09-03T20:21:19.000+02:00
diff --git a/src/tools/clippy b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 72da1015d6d918fe1b29170acbf486d30e0c2695
+Subproject commit 3aea86030eeca7dff94139b24d6b76294609dbce
