diff --git a/src/tools/clippy b/src/tools/clippy index 1df5766cbb5..a3c77f6ad1c 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 1df5766cbb559aab0ad5c2296d8b768182b5186c +Subproject commit a3c77f6ad1c1c185e561e9cd7fdec7db569169d1