From 51cf5791ac256b28d5814abb66eca4a0d0c86406 Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Fri, 5 Jul 2019 19:18:55 +0100 Subject: [PATCH] Updated shapeless-3 submodule --- 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 45c822930230..cd0ac7774074 160000 --- a/community-build/community-projects/shapeless +++ b/community-build/community-projects/shapeless @@ -1 +1 @@ -Subproject commit 45c822930230b8990b9fbe07fd329f8354476cc3 +Subproject commit cd0ac77740740f2e2c8e6fd12041b6936e9a2f35