Merge pull request #3632 from dotty-staging/update-submodule

odersky · web-flow · commit f92f278ab686 · 2017-12-05T08:58:29.000+01:00
Update submodule
diff --git 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
@@ -1 +1 @@
-Subproject commit 1497d54101b918e16f2a43fc769ddabdccf61a00
+Subproject commit 233365ae3c92bda840b8c437dc49f03d37de9993
