Reenable Clippy

diff --git a/src/tools/clippy b/src/tools/clippy
index 1f6e2a63d89e485df6a3ee9df3e8ffbfddf26330..0155ecf6b077bf8d5b333662059d78533e5b2ac0 160000 (submodule)
--- 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
index f1684f4c5acbe42f5f8eb94ba87a3408b9bd5bc9..744a0f96ad7347c5f5e24be1d85e713c56a279d1 100644 (file)
--- 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"