diff --git a/external/mono b/external/mono index f36610d158fa..f2a833e4f37a 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit f36610d158fa3d965a15d0b3aa1edcc6757c16f1 +Subproject commit f2a833e4f37ab0141207c1187af6104afb177aee