diff --git a/src/tools/clippy b/src/tools/clippy index 5a11ed7b92cc4..c5d1ecd4747d7 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 5a11ed7b92cc4cf40a4568a8fc1ff54b198c333b +Subproject commit c5d1ecd4747d73e0c8a62b82b97cb6d5f83db45f