diff --git a/src/tools/clippy b/src/tools/clippy index 316da7eb41f..b0290424bb9 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 316da7eb41f2c263963fc1b74fe9bb528860817f +Subproject commit b0290424bb94aaa7a6d5bc17eb6c616836da27da