From 5d1de4d5c1b8863dc26a420c28265aaa71851e13 Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Tue, 20 Apr 2021 09:41:50 +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 94c1d4413373..f2d0ca355972 160000 --- a/community-build/community-projects/shapeless +++ b/community-build/community-projects/shapeless @@ -1 +1 @@ -Subproject commit 94c1d44133739c7c57b64228caccc4fc938c2862 +Subproject commit f2d0ca3559726449b8f9e8fbabba2d9ab977519d