From eaf32b17a8d9a821eaa5580b93442d07651cd2fa Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Thu, 22 Aug 2019 18:58:12 +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 989092088539..db44ffefbae1 160000 --- a/community-build/community-projects/shapeless +++ b/community-build/community-projects/shapeless @@ -1 +1 @@ -Subproject commit 989092088539bc9b77b31c11b192ea0e5352e61a +Subproject commit db44ffefbae117e165e3f8e7367ea8bda2ef17cc