From badbd956bd9564120f2926307b028ffe5c55f191 Mon Sep 17 00:00:00 2001 From: Manish Goregaokar Date: Wed, 1 May 2019 15:24:52 -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 d0ff1a585f8bd..2ed0b3bfa05c7 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit d0ff1a585f8bda16edf9023d83a6e19f24ddd11b +Subproject commit 2ed0b3bfa05c796c6645ed1814cd372e73f45c66