diff --git a/src/tools/clippy b/src/tools/clippy index ea85b4c7fb982..07f1736390e1d 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit ea85b4c7fb9826f72bd4ab743a703a34c75a40f0 +Subproject commit 07f1736390e1d4dd88cf9fae4ab7737ee5e086b7