WIP Upgrade backend

nicolasstucki · nicolasstucki · commit 83337a298b4e · 2017-09-15T13:32:40.000+02:00
diff --git a/.gitmodules b/.gitmodules
@@ -1,7 +1,7 @@
 [submodule "scala-backend"]
 	path = scala-backend
-	url = https://github.com/lampepfl/scala.git
-	branch = sharing-backend
+	url = https://github.com/nicolasstucki/scala.git
+	branch = port-#4963-2
 [submodule "scala2-library"]
 	path = scala2-library
 	url = https://github.com/lampepfl/scala.git
diff --git a/scala-backend b/scala-backend
@@ -1 +1 @@
-Subproject commit cee714f5331650f0ccf86343a4bf79255c6a602a
+Subproject commit 136c562275ab7869a9a70d24b50d02422e43ac8d
