From 6f3c8cd481c24f7ec64164c6fef03f826a8a3e55 Mon Sep 17 00:00:00 2001 From: Manish Goregaokar Date: Thu, 16 May 2019 12:11:32 -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 ad3269c4b510b..11194e3d050f4 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit ad3269c4b510b94b7c0082f4bb341bee6ed1eca4 +Subproject commit 11194e3d050f45ff002a775f451ff6222fcd5b2c