From 891b0e2dffceb77933e88ab34647f3c2316c1ec9 Mon Sep 17 00:00:00 2001 From: flip1995 Date: Wed, 29 Apr 2020 16:09: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 b7c802b5e33f5..28197b622611b 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit b7c802b5e33f5a402de3780bc5a8b05e7ebad409 +Subproject commit 28197b622611ba3a6367648974ccf59127c287bb