diff --git a/src/tools/clippy b/src/tools/clippy index 71be6f62fa920..c0dbd34ba99a9 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 71be6f62fa920c0bd10cdf3a29aeb8c6719a8075 +Subproject commit c0dbd34ba99a949ece25c297a4a377685eb89c7c