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

Update clippy r? @oli-obk @eddyb
2018-08-20 06:34:09 +00:00 · 2018-08-20 06:34:09 +00:00 · 758239c9c9
parent d2048b6db3 7e5a2b21de
commit 758239c9c9
1 changed files with 1 additions and 1 deletions
--- a/src/tools/clippy
+++ b/src/tools/clippy
@ -1 +1 @@
-Subproject commit bac76afb5a7885de19bfd9e6191fe8e2a29bd74d
+Subproject commit f05a1038b59cd4217e58b3aef7a0751a0efd01e4