From 1db0a224eba9664562290b407259badc362bd9ea Mon Sep 17 00:00:00 2001 From: Lzu Tao Date: Wed, 12 Feb 2020 02:25:41 +0100 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 ea85b4c7fb982..07f1736390e1d 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit ea85b4c7fb9826f72bd4ab743a703a34c75a40f0 +Subproject commit 07f1736390e1d4dd88cf9fae4ab7737ee5e086b7