From f1484defe9dfe5a0ae723f3497d023b73af08750 Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Tue, 31 Dec 2019 21:42:50 +0000 Subject: [PATCH] Update shapeless --- community-build/community-projects/shapeless | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless index 613dad5e2346..63c5e0a4c57e 160000 --- a/community-build/community-projects/shapeless +++ b/community-build/community-projects/shapeless @@ -1 +1 @@ -Subproject commit 613dad5e2346eeadeb90d74c3efa408180f8f242 +Subproject commit 63c5e0a4c57efbaf17699144b627db1639800e90