From 65c0ebd8abc46a1ed15359c556a2d4aa6a8c2611 Mon Sep 17 00:00:00 2001
From: flip1995 <9744647+flip1995@users.noreply.github.com>
Date: Thu, 23 Aug 2018 16:00:04 +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 f05a1038b59..e9c3d3d5026 160000
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit f05a1038b59cd4217e58b3aef7a0751a0efd01e4
+Subproject commit e9c3d3d50261b9cc6143dc02885cda265e926d30