diff --git a/src/tools/clippy b/src/tools/clippy index d61b25419be..1fac3808860 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit d61b25419bec5a3e839fdb16f720cfb12e52ddf1 +Subproject commit 1fac38088609747627b07807945224cf1ea642ca