From 5794e3fe8d662856aea9e24aecd3e28d24c6379b Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Tue, 27 Aug 2019 20:54:37 +0100 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 c9e2a3d39db9..ab34097be4a4 160000 --- a/community-build/community-projects/shapeless +++ b/community-build/community-projects/shapeless @@ -1 +1 @@ -Subproject commit c9e2a3d39db9ecfc792c91de65ce1b2c722a95c8 +Subproject commit ab34097be4a47138dd10e5c816ce7173a793375d