From 6bc16ef3c7c2075e5eb9a6c643dbf4efbd10c495 Mon Sep 17 00:00:00 2001 From: flip1995 Date: Tue, 22 Oct 2019 11:24:18 +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 cbedd97b3a58..e8d5a9e95c14 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit cbedd97b3a58023eff365a2fa74700d06115144a +Subproject commit e8d5a9e95c145a3a9be89c582d8a6f88d4ea7037