From 25f1bf9a66c60eaced6eca70507f36cbc4ac6b44 Mon Sep 17 00:00:00 2001 From: flip1995 Date: Thu, 16 Jan 2020 16:07:54 +0100 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 920cdb59e1e..a8d90f6a579 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 920cdb59e1edf2c4cb2f266fa521f12c1b97a499 +Subproject commit a8d90f6a57925d204efb21b3f6d9726d6674f9bd