From 20eb27ed92a11d41f00f27311cf1f6c19f0f540d Mon Sep 17 00:00:00 2001
From: Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>
Date: Thu, 16 Nov 2017 09:35:53 +0100
Subject: Reenable Clippy

---
 src/tools/clippy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/tools/clippy')

diff --git a/src/tools/clippy b/src/tools/clippy
index 1f6e2a63d89..0155ecf6b07 160000
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 1f6e2a63d89e485df6a3ee9df3e8ffbfddf26330
+Subproject commit 0155ecf6b077bf8d5b333662059d78533e5b2ac0
-- 
cgit 1.4.1-3-g733a5