diff --git a/src/tools/clippy b/src/tools/clippy index d420589e1a820..9897442f27f15 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit d420589e1a8208c85368d07c1644c6725367650b +Subproject commit 9897442f27f15840b459c3e8a480c9082775fbd1