From 559e0180a3a1a28f6ef7703c5c44dbbb0a8b8120 Mon Sep 17 00:00:00 2001 From: Manish Goregaokar Date: Fri, 30 Mar 2018 11:08:06 +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 b75618206ce..b45801ff192 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit b75618206cec71bd87ff7b07f0a8698ee854a2d1 +Subproject commit b45801ff192e6f1bd3504c05e612a1004f52a24e