From 7e010f6b79e968536bed1d622daccebca4f7c314 Mon Sep 17 00:00:00 2001
From: flip1995 <9744647+flip1995@users.noreply.github.com>
Date: Fri, 14 Sep 2018 14:05:10 +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 fdd830f52c082..582ab5a0d0746 160000
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit fdd830f52c082b83db0dac3e0066c0cf114050d2
+Subproject commit 582ab5a0d07468254c2ceef766479d669dcf2945