diff --git a/external/mono b/external/mono index 5c781f2eab..4e3ef48ff0 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit 5c781f2eab75df1f7fbfd4ea7e631e0a66136606 +Subproject commit 4e3ef48ff03349c46551fb0ad43016a92296cf99