From bc91706a84bcbcf2bcbbf4b38196a219f2cf62ee Mon Sep 17 00:00:00 2001 From: flip1995 Date: Wed, 28 Aug 2019 13:25:04 +0200 Subject: [PATCH] Update Clippy --- src/tools/clippy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/clippy b/src/tools/clippy index 05f603e6cec..a939d61cf7f 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 05f603e6cec63d0b2681a84d4a64a51bccac1624 +Subproject commit a939d61cf7feac0f328aec07f050c4ac96c51d2c