diff --git a/src/tools/clippy b/src/tools/clippy index c807fbc8ba414..d9e38f57c125c 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit c807fbc8ba41432388b6f590668ba81314c07c32 +Subproject commit d9e38f57c125c5ac50397ec8a006fe49f17cd96c