diff --git a/external/mono b/external/mono index 47e556d4cf43..b5e8de918210 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit 47e556d4cf433c1d81ddfb236120280f9306c76c +Subproject commit b5e8de9182106b7ea34465bf32d236fda5fbce09