From 7a5f27a62eb847942f0d89b12e1a67bc5e719125 Mon Sep 17 00:00:00 2001 From: Manish Goregaokar Date: Mon, 11 Nov 2019 11:41:10 -0800 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 3abdd2f1ced4c..86b8643586aa3 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 3abdd2f1ced4cf3a44c7de88c5e39b3bb5037c4d +Subproject commit 86b8643586aa39f36fb7a02e98c8d64d31415e70