From df81724000f40dea81500eb43e46ceb1bd7da1d8 Mon Sep 17 00:00:00 2001 From: Manish Goregaokar Date: Sun, 10 Mar 2019 09:44:43 -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 5d78250c75db3..016d92d6ed5ae 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 5d78250c75db3b1923072cf1be3b03f7d0cef5e2 +Subproject commit 016d92d6ed5ae8a3785b65aa300768abbc26f818