diff --git a/src/tools/clippy b/src/tools/clippy index d9e38f57c125c..732825dcff6d1 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit d9e38f57c125c5ac50397ec8a006fe49f17cd96c +Subproject commit 732825dcff6d1f115225305ce5e0c9c9d876a0ff