From 70d9f9eab610f4557d5b18274f9291132bfb60de Mon Sep 17 00:00:00 2001 From: flip1995 Date: Tue, 7 Apr 2020 22:50:58 +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 7907abea272..d342cee7870 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 7907abea272bbf97812683ce03a1ab9c22f0557b +Subproject commit d342cee78703c46d9df09088f9fb99ba85d021ae