From 3f3af87988ff60b0d3bb6d2ea003c66cd3072ed8 Mon Sep 17 00:00:00 2001 From: Matt Sylvia Date: Fri, 6 Oct 2017 16:50:59 -0400 Subject: [PATCH] Bump mono to dev15-5-2017-06 --- .gitmodules | 2 +- external/mono | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitmodules b/.gitmodules index 15b0a6a16f2..1d66a69279b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -21,7 +21,7 @@ [submodule "external/mono"] path = external/mono url = https://github.com/mono/mono.git - branch = 2017-06 + branch = dev15-5-2017-06 [submodule "external/mxe"] path = external/mxe url = https://github.com/xamarin/mxe.git diff --git a/external/mono b/external/mono index 7d788778005..fbc487ff424 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit 7d7887780057e40f3921ceedca6c1579a928655d +Subproject commit fbc487ff424c479c25d0bbd24110d34890ffd793