diff --git a/src/tools/clippy b/src/tools/clippy index aeadf1562c024..5f28fda13efeb 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit aeadf1562c024d3c5421e61dc6b8d48c2d7902f5 +Subproject commit 5f28fda13efeb85097fe082af4b4827a58b0ecf6