From debfb69677c5cb9b0b0c88441d9d016e4281fc53 Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Fri, 26 Jul 2019 09:23:17 +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 a402710b8898..e3694cb84698 160000 --- a/community-build/community-projects/shapeless +++ b/community-build/community-projects/shapeless @@ -1 +1 @@ -Subproject commit a402710b8898266fc7beb396fa38b7a3320f8831 +Subproject commit e3694cb8469880865684840f63771b7ba42976d6