diff --git a/src/tools/clippy b/src/tools/clippy index d0ff1a585f8bd..5162ea5d0ca39 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit d0ff1a585f8bda16edf9023d83a6e19f24ddd11b +Subproject commit 5162ea5d0ca39a1a8dbce8ae301dbe62d6360309