diff --git a/src/tools/clippy b/src/tools/clippy index 7b2a7a225700d..be5d17feb2053 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 7b2a7a225700d972313e23a042f8dbc6adabfbd8 +Subproject commit be5d17feb20534d503c49722beecf5501d5d9c3a