Mono branch name update

2017-02-07 15:04:28 +01:00 · 2017-02-07 15:04:28 +01:00 · fbc3f2e3bb
--- a/.gitmodules
+++ b/.gitmodules
@ -5,7 +5,7 @@
 [submodule "external/mono"]
 	path = external/mono
 	url = ../../mono/mono.git
-	branch = master
+	branch = 2017-02
 [submodule "external/fsharp"]
 	path = external/fsharp
 	url = ../../fsharp/fsharp.git