diff --git a/src/tools/clippy b/src/tools/clippy index 6ce78d1257a..3bda548f81b 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 6ce78d1257ac6fd77f245730fcfbadd536a173eb +Subproject commit 3bda548f81bc268a2e9813ce9168d2e40e8a11bd