From 5f51210cc08b466d5ebc53448c8b150c82b0ef80 Mon Sep 17 00:00:00 2001
From: Pietro Albini <pietro@pietroalbini.org>
Date: Tue, 3 Sep 2019 13:06:48 +0200
Subject: [PATCH] bump clippy

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

diff --git a/src/tools/clippy b/src/tools/clippy
index 72da1015d6d91..3aea86030eeca 160000
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 72da1015d6d918fe1b29170acbf486d30e0c2695
+Subproject commit 3aea86030eeca7dff94139b24d6b76294609dbce