diff --git a/src/tools/clippy b/src/tools/clippy index 8c80b65f102..e3cb40e4f7e 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 8c80b65f10213c6e5f4c6d8113e8f8c9477af568 +Subproject commit e3cb40e4f7e566ffe260b2b9d606485c7c22d642