diff --git a/external/mono b/external/mono index 01f2e009df2..5fb9bcff57f 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit 01f2e009df2ded7abceb93481e668c47ee522826 +Subproject commit 5fb9bcff57f0959fd3617c6a3f7d0a58eb63fe8e