From d27e2a185411474e341b2a0baab43c27ca635357 Mon Sep 17 00:00:00 2001 From: Philipp Hansch Date: Sat, 28 Apr 2018 15:10:42 +0200 Subject: [PATCH] Update clippy submodule --- src/tools/clippy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/clippy b/src/tools/clippy index c5b39a5917ffc..1742229ebb784 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit c5b39a5917ffc0f1349b6e414fa3b874fdcf8429 +Subproject commit 1742229ebb7843a65c05ee495d8de5366fcc5567