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 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