From ae8f466151cf8516981388c138f293c6ddafb7ff Mon Sep 17 00:00:00 2001
From: Sebastien Pouliot <sebastien@xamarin.com>
Date: Wed, 7 Mar 2018 09:18:51 -0500
Subject: [PATCH] Bump mono to 2017-12 head to pick up profiler fix

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

diff --git a/external/mono b/external/mono
index 3f4f070d3db5..15d76bf5e2d1 160000
--- a/external/mono
+++ b/external/mono
@@ -1 +1 @@
-Subproject commit 3f4f070d3db5d87abb16016c811f5a8cb68cb792
+Subproject commit 15d76bf5e2d174ac4a01e70fdf130e8b4565a602