From 82dec85b40658e77058a4c093382e082f0a188e8 Mon Sep 17 00:00:00 2001
From: flip1995 <hello@philkrones.com>
Date: Thu, 15 Aug 2019 16:04:30 +0200
Subject: Update Clippy

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

(limited to 'src')

diff --git a/src/tools/clippy b/src/tools/clippy
index 72da1015d6d..cd3df6bee0e 160000
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 72da1015d6d918fe1b29170acbf486d30e0c2695
+Subproject commit cd3df6bee0ee07c7dbb562b29576a0b513a4331b
-- 
cgit 1.4.1-3-g733a5