diff --git a/external/mono b/external/mono index 2264e1b30cc..85d1920b016 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit 2264e1b30cc324c6f331d08fc3e1fe9cf920ee5d +Subproject commit 85d1920b01674593f0e61421cbb5926ca2eb84ac