diff --git a/src/tools/clippy b/src/tools/clippy index d342cee7870..af5940b7315 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit d342cee78703c46d9df09088f9fb99ba85d021ae +Subproject commit af5940b73153b2a4ea2922aa803abac45d029982