From 20ea70d3352ed567aa720e86607c8ee7fbdaff7b Mon Sep 17 00:00:00 2001
From: Manish Goregaokar <manishsmail@gmail.com>
Date: Tue, 23 Apr 2019 13:05:45 -0700
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 d420589e1a8..9897442f27f 160000
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit d420589e1a8208c85368d07c1644c6725367650b
+Subproject commit 9897442f27f15840b459c3e8a480c9082775fbd1