From a2a89800011d448e0d0ce040ece9b5a144ce66b3 Mon Sep 17 00:00:00 2001 From: flip1995 Date: Mon, 24 Feb 2020 09:13:13 +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 8fbb23f2549..fc5d0cc583c 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 8fbb23f2549e75b89967f09b9293607bd3bb96a6 +Subproject commit fc5d0cc583cb1cd35d58fdb7f3e0cfa12dccd6c0