From fc953c8963dc1e039654dc09c28f4f4a2fd9b85d Mon Sep 17 00:00:00 2001 From: Jonathan Pryor Date: Wed, 21 Feb 2018 08:03:44 -0500 Subject: [PATCH] Bump to mono/2017-12/de4729fa Context: https://github.com/xamarin/xamarin-android/pull/1078 Context: https://github.com/mono/mono/issues/7145 The primary impetus is that mono/de4729fa contains "ignore" improvements to `mono-api-html`, which will be needed in order to complete PR #1078. --- external/mono | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/mono b/external/mono index 0d51a8063be..de4729fae29 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit 0d51a8063beb25da3f4390a9ffddb231e3776a89 +Subproject commit de4729fae29dffd358fb96e3b6d367ca6b1e507a