From 798d579f25ac1e768932dca723dcd34c715b5172 Mon Sep 17 00:00:00 2001 From: flip1995 Date: Sat, 23 Nov 2019 17:26:34 +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 b4f1769734b..60e8413a4e5 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit b4f1769734b6204fc6bece8556b7b80a7683271e +Subproject commit 60e8413a4e5b7c67001176783893b12411ce355e