diff --git a/src/tools/clippy b/src/tools/clippy index cfb332005845..c807fbc8ba41 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit cfb332005845883f2abb50fe183fc91221bad9d1 +Subproject commit c807fbc8ba41432388b6f590668ba81314c07c32