diff --git a/src/tools/clippy b/src/tools/clippy index 3710ec59962..ad3269c4b51 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 3710ec59962295336ab4aed100267b584dd7df7d +Subproject commit ad3269c4b510b94b7c0082f4bb341bee6ed1eca4