diff --git a/external/mono b/external/mono index 9061f77e7f..a0228295dc 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit 9061f77e7f181057ff27e6900c05d8b1e5c63773 +Subproject commit a0228295dcef711f8bbbf4f6f619c194e109c0e6