diff --git a/external/mono b/external/mono
index f4252bf31f..9c18adad5b 160000
--- a/external/mono
+++ b/external/mono
@@ -1 +1 @@
-Subproject commit f4252bf31f363c10f134affebc7572a31e6ce88f
+Subproject commit 9c18adad5b816f297b8c5b20e60088843697abab