diff --git a/src/tools/clippy b/src/tools/clippy index fa046d2e7f1..c0f39cfb466 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit fa046d2e7f14cda09d14230cc8c772e1565e0757 +Subproject commit c0f39cfb466202a1dbe8368ca177848083dc34cb