Merge pull request #833 from pjcollins/d15-4-mono-d15-4-2017-04

Luis Aguilera · web-flow · commit 993f5407855b · 2017-09-08T14:18:18.000-04:00
Bump to head of mono/d15-4-2017-04
diff --git a/.gitmodules b/.gitmodules
@@ -21,7 +21,7 @@
 [submodule "external/mono"]
     path = external/mono
     url = https://github.com/mono/mono.git
-    branch = 2017-04
+    branch = d15-4-2017-04
 [submodule "external/mxe"]
     path = external/mxe
     url = https://github.com/xamarin/mxe.git
diff --git a/external/mono b/external/mono
@@ -1 +1 @@
-Subproject commit 3a92a0f7051e8ac54ef7b2594d8119e7e0ebbeb0
+Subproject commit 01f2e009df2ded7abceb93481e668c47ee522826
