From 251bd7e6dc1c13a58f11e251221f7dc941a0cf78 Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Sat, 26 Sep 2020 14:20:39 +0100 Subject: [PATCH] Updated 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 a7cb88516d62..2bdebb6da59f 160000 --- a/community-build/community-projects/shapeless +++ b/community-build/community-projects/shapeless @@ -1 +1 @@ -Subproject commit a7cb88516d628c09e4e7fa8183bf2af0bf054370 +Subproject commit 2bdebb6da59fafd55ecbbd13d0550b92df4d9a3d