From 8704947ad2380850065f0e91449f498c8e9d76de Mon Sep 17 00:00:00 2001
From: Manish Goregaokar <manishsmail@gmail.com>
Date: Mon, 3 Jun 2019 16:00:38 -0700
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 f3087c37bf5..20da8f45c60 160000
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit f3087c37bf5d8491b72ce007b65a47c2d3c2e733
+Subproject commit 20da8f45c601d0eec8af8c0897abd536ad57951f
-- 
cgit 1.4.1-3-g733a5