1 files changed, 18 insertions, 18 deletions

diff --git a/src/tools/clippy b/src/tools/clippy
-Subproject 7d7fef1690218bbb406cf3bcadf7bb29dbb40cc
+Subproject ce47e529d29f0bf19b31ae80b37b467e42fb97e