diff --git a/.gitmodules b/.gitmodules index f5ea01ebbaab..09e096a43aef 100644 --- a/.gitmodules +++ b/.gitmodules @@ -5,7 +5,7 @@ [submodule "scala2-library"] path = scala2-library url = https://github.com/lampepfl/scala.git - branch = dotty-library + branch = dotty-library2.12 [submodule "collection-strawman"] path = collection-strawman url = https://github.com/scala/collection-strawman.git diff --git a/scala2-library b/scala2-library index 1497d54101b9..233365ae3c92 160000 --- a/scala2-library +++ b/scala2-library @@ -1 +1 @@ -Subproject commit 1497d54101b918e16f2a43fc769ddabdccf61a00 +Subproject commit 233365ae3c92bda840b8c437dc49f03d37de9993