Update clippy

Manishearth · Manishearth · commit 84f1fc951dc0 · 2017-10-29T05:27:36.000-04:00
diff --git a/src/Cargo.lock b/src/Cargo.lock
diff --git a/src/tools/clippy b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 281bd790de7b992831a1ff8a589c0fc38c842c95
+Subproject commit f76225e3887170743403af9204887918b5db5a80
diff --git a/src/tools/toolstate.toml b/src/tools/toolstate.toml
@@ -26,7 +26,7 @@
 miri = "Broken"
 
 # ping @Manishearth @llogiq @mcarton @oli-obk
-clippy = "Broken"
+clippy = "Compiling"
 
 # ping @nrc
 rls = "Broken"
