diff --git a/external/mono b/external/mono
index cda3acc57cd..c4f7644e976 160000
--- a/external/mono
+++ b/external/mono
@@ -1 +1 @@
-Subproject commit cda3acc57cd40c666b2fea8391cdd68c8d4eb10c
+Subproject commit c4f7644e97639ec71eff5a0c19cfeb4bc8d79f72