From 693917a78de60e941219f5f5cb729a8779508183 Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Sun, 29 Sep 2019 15:39:10 +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 8b417eb81023..330ec05edcdd 160000 --- a/community-build/community-projects/shapeless +++ b/community-build/community-projects/shapeless @@ -1 +1 @@ -Subproject commit 8b417eb810236cacb0f15cf0bbd2d7f819415cf4 +Subproject commit 330ec05edcdd16b377df24311c4c4cd5b959bd73