diff --git a/src/tools/clippy b/src/tools/clippy index 481f7880df428..a20599ab57d08 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 481f7880df428020480eb343c209072c6db10503 +Subproject commit a20599ab57d08bb61cd177f9c0c98ec395376dd8