diff --git a/src/tools/clippy b/src/tools/clippy index e9c3d3d50261b9cc6143dc02885cda265e926d30..dda656652e2e1a8d615a712d7f7482c25fa0a9c2 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit e9c3d3d50261b9cc6143dc02885cda265e926d30 +Subproject commit dda656652e2e1a8d615a712d7f7482c25fa0a9c2