Update Clippy

flip1995 · flip1995 · commit 25f1bf9a66c6 · 2020-01-16T16:07:54.000+01:00
diff --git a/src/tools/clippy b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 920cdb59e1edf2c4cb2f266fa521f12c1b97a499
+Subproject commit a8d90f6a57925d204efb21b3f6d9726d6674f9bd
