From 6d3e242a2b56277d80c89fac3ab238838e3f28b3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mateusz=20Miku=C5=82a?= Date: Tue, 8 Oct 2019 14:14:09 +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 648e5b90b49af..5cb983338e924 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 648e5b90b49af483d07caa8e413473a4517853d6 +Subproject commit 5cb983338e924ec85898880d60e65f2a1291b7be