From c4f046863600558efa46e866c9036ab2bc0ed6a1 Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Sat, 6 Jun 2020 16:30:17 +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 6eaf81d92743..44752eff2865 160000 --- a/community-build/community-projects/shapeless +++ b/community-build/community-projects/shapeless @@ -1 +1 @@ -Subproject commit 6eaf81d92743d24b5cf2fbae0ec2d59ef1e11414 +Subproject commit 44752eff286570e4cfc2a29f47557d2f09ef8489