From 9fd5b8124241146b696ae099a5eb740efa0f6b96 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mateusz=20Miku=C5=82a?= Date: Fri, 6 Sep 2019 16:18:23 +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 5f28fda13efeb..804f8e6b5a13c 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 5f28fda13efeb85097fe082af4b4827a58b0ecf6 +Subproject commit 804f8e6b5a13cf304e5f5bbef99cf2d70a145bd6