diff --git a/src/tools/clippy b/src/tools/clippy index 157edad6205fd..4e7e71b46c88f 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 157edad6205fdd6a4f5932fba2675c6190746358 +Subproject commit 4e7e71b46c88f9ba8b0a424053fe0f28c5e61ab3