diff --git a/external/mono b/external/mono
index 0d51a8063be..de4729fae29 160000
--- a/external/mono
+++ b/external/mono
@@ -1 +1 @@
-Subproject commit 0d51a8063beb25da3f4390a9ffddb231e3776a89
+Subproject commit de4729fae29dffd358fb96e3b6d367ca6b1e507a