diff --git a/external/mono b/external/mono
index e70439f1868..3f5fd4287be 160000
--- a/external/mono
+++ b/external/mono
@@ -1 +1 @@
-Subproject commit e70439f1868fc29e5b649c89222829f02fc886d3
+Subproject commit 3f5fd4287be28a32314262a6f8dcb5bdde86e0b1