diff --git a/src/tools/clippy b/src/tools/clippy index 9d3373137b74a..5afdf8b78507d 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 9d3373137b74a403281b293b19ab9346773af073 +Subproject commit 5afdf8b78507ddf015d192858aef56e72c17de16