diff --git a/src/tools/clippy b/src/tools/clippy index 41972f89dcb..141f79f8440 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 41972f89dcb99819191ffbf2381430e63e9d916d +Subproject commit 141f79f8440229f705f47f06c47b46a44d65584b