From 5ce98d318d40e154bb3dc90fadd784d118214b47 Mon Sep 17 00:00:00 2001 From: flip1995 Date: Tue, 3 Dec 2019 18:58:33 +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 7a943a9dfcdca..374db5c0b7a8e 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 7a943a9dfcdca98e5988da6d0b7d2f83a364b5ba +Subproject commit 374db5c0b7a8ebc92ecb35ee21e11961da6c754d