diff --git a/src/tools/clippy b/src/tools/clippy index 86b8643586a..b4f1769734b 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 86b8643586aa39f36fb7a02e98c8d64d31415e70 +Subproject commit b4f1769734b6204fc6bece8556b7b80a7683271e