From 3a5b13ad36d5cb4081c727c78e7d6fd6711108b9 Mon Sep 17 00:00:00 2001
From: Oliver Schneider <git-no-reply-9879165716479413131@oli-obk.de>
Date: Mon, 14 May 2018 16:11:24 +0200
Subject: Bump 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 7a4c00c669b..c658fc8cbcd 160000
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 7a4c00c669b3bf0ffb24c7aa89a776cd48f1e2d0
+Subproject commit c658fc8cbcd1f199edd445a49cb43139ebdc5f02
-- 
cgit 1.4.1-3-g733a5