From 059ab7715c1ea2d8004b6ec7c478d4e7673bb29a Mon Sep 17 00:00:00 2001
From: flip1995 <9744647+flip1995@users.noreply.github.com>
Date: Mon, 17 Sep 2018 15:37:19 +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 183639b70ba..125907ad088 160000
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 183639b70bacf457920694d78a19cefe3565e1c0
+Subproject commit 125907ad08853b92d35e86aecebcf0f784f348d5
-- 
2.44.0