diff --git a/external/mono b/external/mono
index 8a5a7278621d..f4252bf31f36 160000
--- a/external/mono
+++ b/external/mono
@@ -1 +1 @@
-Subproject commit 8a5a7278621d7214fa624c8e81872c09ba07d4a8
+Subproject commit f4252bf31f363c10f134affebc7572a31e6ce88f