From 8070d1c2601272f5084dee7022e1af20d6a50cf2 Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Fri, 19 Mar 2021 19:44:10 +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 4909c064e0d1..94c1d4413373 160000 --- a/community-build/community-projects/shapeless +++ b/community-build/community-projects/shapeless @@ -1 +1 @@ -Subproject commit 4909c064e0d140b35efedf7fb9cbbd8ab5b09f8a +Subproject commit 94c1d44133739c7c57b64228caccc4fc938c2862