1 files changed, 10 insertions, 8 deletions

diff --git a/src/tools/clippy b/src/tools/clippy
-Subproject f3087c37bf5d8491b72ce007b65a47c2d3c2e73
+Subproject 20da8f45c601d0eec8af8c0897abd536ad57951