Update Clippy

flip1995 · flip1995 · commit 82dec85b4065 · 2019-08-20T09:32:12.000+02:00
diff --git a/src/tools/clippy b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 72da1015d6d918fe1b29170acbf486d30e0c2695
+Subproject commit cd3df6bee0ee07c7dbb562b29576a0b513a4331b
