diff --git a/src/tools/clippy b/src/tools/clippy index caccf8bd4c3d4..15d1731ce8d37 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit caccf8bd4c3d490d6a4cf329a3411bbf68753642 +Subproject commit 15d1731ce8d3782ba93b0fd583307240fc814ef3