diff --git a/src/tools/clippy b/src/tools/clippy index dc69a5c0b610d..c3e913650e985 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit dc69a5c0b610df452217291db1a0ebc4f76401e3 +Subproject commit c3e913650e9850ccbb605ddc0d1a612fa70947d2