diff --git a/external/mono b/external/mono
index 5807bf100a..bc72a85bea 160000
--- a/external/mono
+++ b/external/mono
@@ -1 +1 @@
-Subproject commit 5807bf100a64f3acec35c1c811e881bf6ceaabb7
+Subproject commit bc72a85bea8d9dddebaa5610c5c55f4f7b7ab131