From e16dce07b79670ae4ca6d1bec5cdd3fac72e20b2 Mon Sep 17 00:00:00 2001 From: Manish Goregaokar Date: Sun, 7 Apr 2019 14:21:47 -0700 Subject: [PATCH] Update clippy to cffb416d8951af22bc921b0f2870ddd6bb9d1104 --- src/tools/clippy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/clippy b/src/tools/clippy index 92612c9de159..cffb416d8951 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 92612c9de159889f77f05855a77482ee1d895f51 +Subproject commit cffb416d8951af22bc921b0f2870ddd6bb9d1104