diff --git a/src/tools/clippy b/src/tools/clippy index 72da1015d6d91..3aea86030eeca 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 72da1015d6d918fe1b29170acbf486d30e0c2695 +Subproject commit 3aea86030eeca7dff94139b24d6b76294609dbce