diff --git a/src/tools/clippy b/src/tools/clippy index 72da1015d6d9..cd3df6bee0ee 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 72da1015d6d918fe1b29170acbf486d30e0c2695 +Subproject commit cd3df6bee0ee07c7dbb562b29576a0b513a4331b