diff --git a/src/tools/clippy b/src/tools/clippy index 4402bc70a3b..25444585592 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 4402bc70a3b175c38994bbc802bee41ddc59165b +Subproject commit 25444585592f5da648edd5317fcdd21f2db8bb64