From 080607a0653edd65c9535984e3a2327eb707a74d Mon Sep 17 00:00:00 2001
From: Jonathan Pryor <jonpryor@vt.edu>
Date: Thu, 31 Jan 2019 15:04:08 -0500
Subject: [PATCH] Bump to mono/mono/2018-04@62031dca

Fixes: https://github.com/mono/mono/issues/10488
---
 external/mono | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/external/mono b/external/mono
index 000780ca82c..62031dcabf4 160000
--- a/external/mono
+++ b/external/mono
@@ -1 +1 @@
-Subproject commit 000780ca82c87316227f1da94314587022d02f70
+Subproject commit 62031dcabf4544b65a37b3e71477e7cd236bc5d2