From 33543ed1222898a63cca907ec91492c39fa2732e Mon Sep 17 00:00:00 2001 From: Manish Goregaokar Date: Tue, 15 Oct 2019 13:52:34 -0700 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 5cb983338e924..52cebb1f8f878 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 5cb983338e924ec85898880d60e65f2a1291b7be +Subproject commit 52cebb1f8f8789b97d243c07bf4c961ca0017f7b