1 files changed, 11 insertions, 18 deletions

diff --git a/src/tools/clippy b/src/tools/clippy
-Subproject 5afdf8b78507ddf015d192858aef56e72c17de1
+Subproject d8b426901a75b1eb975f52b4537f2736f2b9443