diff --git a/src/tools/clippy b/src/tools/clippy index 183639b70bacf..125907ad08853 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 183639b70bacf457920694d78a19cefe3565e1c0 +Subproject commit 125907ad08853b92d35e86aecebcf0f784f348d5