From 4240168edae7c4ec9c8bf78892cbf5316ad7b781 Mon Sep 17 00:00:00 2001 From: flip1995 Date: Fri, 30 Aug 2019 09:53:42 +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 a939d61cf7fea..70e7d075df7b3 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit a939d61cf7feac0f328aec07f050c4ac96c51d2c +Subproject commit 70e7d075df7b3e11e61fa99b30e1ede26cee6afd