From fbb4b22294cc6b2b4f4fad116b40fc68f49ccb6f Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Sun, 15 Sep 2019 13:06:11 +0100 Subject: [PATCH 1/2] Use shapeless fork in staging --- .gitmodules | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitmodules b/.gitmodules index de045a725963..b15c0c2186b8 100644 --- a/.gitmodules +++ b/.gitmodules @@ -42,8 +42,8 @@ url = https://github.com/dotty-staging/scala-xml [submodule "community-build/community-projects/shapeless"] path = community-build/community-projects/shapeless - url = https://github.com/milessabin/shapeless - branch = shapeless-3 + url = https://github.com/dotty-staging/shapeless + branch = shapeless-3-staging [submodule "community-build/community-projects/xml-interpolator"] path = community-build/community-projects/xml-interpolator url = https://github.com/lampepfl/xml-interpolator.git From da4d6fab59231806352119310d7447f644f8fe65 Mon Sep 17 00:00:00 2001 From: Miles Sabin Date: Sun, 15 Sep 2019 13:30:28 +0100 Subject: [PATCH 2/2] 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 ab34097be4a4..4ac9ab56bd6d 160000 --- a/community-build/community-projects/shapeless +++ b/community-build/community-projects/shapeless @@ -1 +1 @@ -Subproject commit ab34097be4a47138dd10e5c816ce7173a793375d +Subproject commit 4ac9ab56bd6d123d4f04b8dfd7c6113791f7381b