diff --git a/src/tools/clippy b/src/tools/clippy index a3c77f6ad1c1c..b7a431ea1ddb9 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit a3c77f6ad1c1c185e561e9cd7fdec7db569169d1 +Subproject commit b7a431ea1ddb96a396921bf9b5f2f6d8690cd474