From 56220dc36f9ff10635552ebcf63824271f876ef2 Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Tue, 27 Aug 2019 12:28:36 +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 db44ffefbae1..c9e2a3d39db9 160000 --- a/community-build/community-projects/shapeless +++ b/community-build/community-projects/shapeless @@ -1 +1 @@ -Subproject commit db44ffefbae117e165e3f8e7367ea8bda2ef17cc +Subproject commit c9e2a3d39db9ecfc792c91de65ce1b2c722a95c8