Update Clippy

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