diff --git a/src/tools/clippy b/src/tools/clippy index d2f51228152a1..f3087c37bf5d8 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit d2f51228152a139a2a8aaba59b8a4e68f498ff26 +Subproject commit f3087c37bf5d8491b72ce007b65a47c2d3c2e733