diff --git a/src/tools/clippy b/src/tools/clippy index e3cb40e4f7e56..a9f8d3a034b30 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit e3cb40e4f7e566ffe260b2b9d606485c7c22d642 +Subproject commit a9f8d3a034b30d0a2bedfe99c107aeeefbf8e176