From 84f1fc951dc0b80334d36e27ca408cb56c028e02 Mon Sep 17 00:00:00 2001 From: Manish Goregaokar Date: Sun, 29 Oct 2017 05:27:34 -0400 Subject: Update clippy --- src/tools/clippy | 2 +- src/tools/toolstate.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src/tools') diff --git a/src/tools/clippy b/src/tools/clippy index 281bd790de7..f76225e3887 160000 --- 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 index 9dd420c1458..da4d26d78da 100644 --- 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" -- cgit 1.4.1-3-g733a5