diff --git a/src/tools/clippy b/src/tools/clippy index 280069ddc75..f1753522d8f 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 280069ddc750d8a20d075c76322c45d5db4a48f8 +Subproject commit f1753522d8f3bb2d218266b4760f7a99f027f5ca