From be511f0abd332c85f9c13bbdf467739f4f9c35c2 Mon Sep 17 00:00:00 2001
From: Zoltan Varga <vargaz@gmail.com>
Date: Wed, 27 Jul 2016 04:57:43 -0400
Subject: [PATCH] Bump mono to pick up the fix for #42750. (#499)

---
 external/mono | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/external/mono b/external/mono
index 20452351dc..be6f705c08 160000
--- a/external/mono
+++ b/external/mono
@@ -1 +1 @@
-Subproject commit 20452351dc9ff28c093e68a83e2e9562e99b5344
+Subproject commit be6f705c08bc5eb4bd4d23f2fdf5d47522481fa0