1 files changed, 14 insertions, 14 deletions

diff --git a/src/tools/clippy b/src/tools/clippy
-Subproject 125907ad08853b92d35e86aecebcf0f784f348d
+Subproject a72e786c5d8866d554effd246c30fb553b63fa0