From 24fad4c145122ba4abfdcb3bdafb3f4a2f429ba6 Mon Sep 17 00:00:00 2001 From: ljedrz Date: Fri, 8 Mar 2019 12:29:10 +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 caccf8bd4c3d4..5d78250c75db3 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit caccf8bd4c3d490d6a4cf329a3411bbf68753642 +Subproject commit 5d78250c75db3b1923072cf1be3b03f7d0cef5e2