1 files changed, 19 insertions, 16 deletions

diff --git a/src/tools/clippy b/src/tools/clippy
-Subproject 7a4c00c669b3bf0ffb24c7aa89a776cd48f1e2d
+Subproject c658fc8cbcd1f199edd445a49cb43139ebdc5f0