Merge pull request #7230 from milessabin/topic/update-shapeless

milessabin · web-flow · commit fa3c0069f3a2 · 2019-09-15T14:15:43.000+01:00
Update shapeless
diff --git 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
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit ab34097be4a47138dd10e5c816ce7173a793375d
+Subproject commit 4ac9ab56bd6d123d4f04b8dfd7c6113791f7381b
