Auto merge of #53519 - Manishearth:clippyup, r=eddyb

bors · bors · commit 758239c9c9e0 · 2018-08-20T06:34:09.000Z
Update clippy r? @oli-obk @eddyb
diff --git a/src/tools/clippy b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit bac76afb5a7885de19bfd9e6191fe8e2a29bd74d
+Subproject commit f05a1038b59cd4217e58b3aef7a0751a0efd01e4
