From b8a67f1477b9b53827d007a0962aead4f35453a0 Mon Sep 17 00:00:00 2001 From: Manish Goregaokar Date: Tue, 2 Oct 2018 11:11:35 +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 a72e786c5d8..e69fe2fb19b 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit a72e786c5d8866d554effd246c30fb553b63fa06 +Subproject commit e69fe2fb19b7b2f3b07fe1178c536810dabf896f