Update Clippy

flip1995 · flip1995 · commit 725daae013b7 · 2019-12-23T17:51:36.000+01:00
diff --git a/src/tools/clippy b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit cfb332005845883f2abb50fe183fc91221bad9d1
+Subproject commit 143ad5e2d10582d2cd1c74d3bee20b14c04af02e
