Auto merge of #62434 - Manishearth:clippyup, r=Manishearth

Update clippy r? @ghost
2019-07-07 08:07:54 +00:00 · 2019-07-07 08:07:54 +00:00 · dbeed58ade
commit dbeed58ade
parent 927a3e873d e2885eb656
1 changed files with 1 additions and 1 deletions
--- a/src/tools/clippy
+++ b/src/tools/clippy
@ -1 +1 @@
-Subproject commit e3cb40e4f7e566ffe260b2b9d606485c7c22d642
+Subproject commit 316da7eb41f2c263963fc1b74fe9bb528860817f