From 65c0ebd8abc46a1ed15359c556a2d4aa6a8c2611 Mon Sep 17 00:00:00 2001 From: flip1995 <9744647+flip1995@users.noreply.github.com> Date: Thu, 23 Aug 2018 16:00:04 +0200 Subject: [PATCH 1/2] Update clippy --- src/tools/clippy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/clippy b/src/tools/clippy index f05a1038b59..e9c3d3d5026 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit f05a1038b59cd4217e58b3aef7a0751a0efd01e4 +Subproject commit e9c3d3d50261b9cc6143dc02885cda265e926d30 From cd8fcb6140eb9753f7563593b0701bcbbf2a759c Mon Sep 17 00:00:00 2001 From: flip1995 <9744647+flip1995@users.noreply.github.com> Date: Thu, 23 Aug 2018 23:31:55 +0200 Subject: [PATCH 2/2] Update clippy again --- src/tools/clippy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/clippy b/src/tools/clippy index e9c3d3d5026..dda656652e2 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit e9c3d3d50261b9cc6143dc02885cda265e926d30 +Subproject commit dda656652e2e1a8d615a712d7f7482c25fa0a9c2