diff --git a/src/tools/clippy b/src/tools/clippy index 37f5c1ec734f..abf7f911d88e 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 37f5c1ec734f806fe98930b8d5f54f00013f06f1 +Subproject commit abf7f911d88e9209b54cfba2776d7dbca5a440ce