From 7e5a2b21dee4c06a07841f21efefa947e5343765 Mon Sep 17 00:00:00 2001
From: Manish Goregaokar <manishsmail@gmail.com>
Date: Sun, 19 Aug 2018 19:17:24 -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 bac76afb5a7..f05a1038b59 160000
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit bac76afb5a7885de19bfd9e6191fe8e2a29bd74d
+Subproject commit f05a1038b59cd4217e58b3aef7a0751a0efd01e4