From df11447ca8ccafd14de5d46b885ca73ead121b8d Mon Sep 17 00:00:00 2001
From: flip1995 <hello@philkrones.com>
Date: Fri, 21 Feb 2020 10:32:57 +0100
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 2855b214397..8fbb23f2549 160000
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 2855b2143972df7102333193aa3c83ddce227e36
+Subproject commit 8fbb23f2549e75b89967f09b9293607bd3bb96a6