From 4a0aef4d1ab7fca4dde28376e4b346057707dd7f Mon Sep 17 00:00:00 2001
From: flip1995 <hello@philkrones.com>
Date: Fri, 12 Apr 2019 15:49:59 +0200
Subject: [PATCH] Update Clippy

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

diff --git a/src/tools/clippy b/src/tools/clippy
index 37f5c1ec734f..abf7f911d88e 160000
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 37f5c1ec734f806fe98930b8d5f54f00013f06f1
+Subproject commit abf7f911d88e9209b54cfba2776d7dbca5a440ce