From 6ed588b8d74c40f32d0332985697984270d9d946 Mon Sep 17 00:00:00 2001
From: Aleksey Kliger <alklig@microsoft.com>
Date: Mon, 8 Oct 2018 14:53:21 -0400
Subject: [PATCH] Bump mono

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

diff --git a/external/mono b/external/mono
index 4d41b0560f..e257971d3c 160000
--- a/external/mono
+++ b/external/mono
@@ -1 +1 @@
-Subproject commit 4d41b0560ffdd68aa78bda2a4e9042643a227f18
+Subproject commit e257971d3c89ba4a054514d83ea84eb2bcb7ad69