diff --git a/src/tools/clippy b/src/tools/clippy index e3cb40e4f7e56..316da7eb41f2c 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit e3cb40e4f7e566ffe260b2b9d606485c7c22d642 +Subproject commit 316da7eb41f2c263963fc1b74fe9bb528860817f