From 46ec33158a2f547239e27f65336c86570a269969 Mon Sep 17 00:00:00 2001 From: Allan Renucci Date: Sun, 26 Aug 2018 16:09:41 +0200 Subject: [PATCH] Fix branch in git module --- .gitmodules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitmodules b/.gitmodules index ac706eb5cfd3..fcc2a9370cbb 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,7 +1,7 @@ [submodule "scala-backend"] path = scala-backend url = https://github.com/lampepfl/scala.git - branch = fix-java9-itf + branch = sharing-backend [submodule "scala2-library"] path = scala2-library url = https://github.com/lampepfl/scala.git