diff --git a/src/tools/clippy b/src/tools/clippy index 5a11ed7b92cc4..8c80b65f10213 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 5a11ed7b92cc4cf40a4568a8fc1ff54b198c333b +Subproject commit 8c80b65f10213c6e5f4c6d8113e8f8c9477af568