Reenable Clippy

oli-obk · oli-obk · commit 20eb27ed92a1 · 2017-11-16T09:35:53.000+01:00
diff --git a/src/tools/clippy b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 1f6e2a63d89e485df6a3ee9df3e8ffbfddf26330
+Subproject commit 0155ecf6b077bf8d5b333662059d78533e5b2ac0
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 = "Testing"
 
 # ping @nrc
 rls = "Testing"
