From 88aea6c5f51488148efbe52456f6ac8bb2fae46d Mon Sep 17 00:00:00 2001 From: Matt Sylvia Date: Tue, 18 Jul 2017 17:04:50 -0400 Subject: [PATCH] Update .gitmodules Change branch to d15-3 branch of mono --- .gitmodules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitmodules b/.gitmodules index 10ea0bbf9675..9f66f4694653 100644 --- a/.gitmodules +++ b/.gitmodules @@ -5,7 +5,7 @@ [submodule "external/mono"] path = external/mono url = ../../mono/mono.git - branch = 2017-04 + branch = d15-3 [submodule "external/fsharp"] path = external/fsharp url = ../../fsharp/fsharp.git