diff --git a/src/tools/clippy b/src/tools/clippy index 9abf6fca9c728..131c8f86b2b71 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 9abf6fca9c7288cb3bb99c0f7627f94b7930ee98 +Subproject commit 131c8f86b2b712d4d9b00f486b6c67f97782228a