From 190a75c5d87e8211e5e7e5ea6c4de000bb714694 Mon Sep 17 00:00:00 2001 From: Jonathan Pryor Date: Sat, 24 Mar 2018 15:41:33 -0400 Subject: [PATCH] Bump to mono/2017-12/10758249 (#1471) Context: https://github.com/mono/mono/issues/6940 Context: https://github.com/mono/mono/issues/7093 Context: https://github.com/mono/mono/issues/7364 Context: https://github.com/mono/mono/issues/7378 Context: https://github.com/mono/mono/issues/7535 Context: https://github.com/mono/mono/issues/7637 Context: https://github.com/mono/mono/issues/7696 --- external/mono | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/mono b/external/mono index 15d76bf5e2d..10758249291 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit 15d76bf5e2d174ac4a01e70fdf130e8b4565a602 +Subproject commit 1075824929104bbaec58882d1f5e9202251d7484