From adf4a472108af47444d64b286bd04ef71733cc75 Mon Sep 17 00:00:00 2001 From: flip1995 <9744647+flip1995@users.noreply.github.com> Date: Fri, 14 Sep 2018 14:00:32 +0200 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 fdd830f52c082..daa922393c741 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit fdd830f52c082b83db0dac3e0066c0cf114050d2 +Subproject commit daa922393c7417dcee930a880c80668cda3e308a