diff --git a/external/mono b/external/mono index be6e0ebc77..2f94cf00bb 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit be6e0ebc772cb7a2e12387d49bb91e85592bcd85 +Subproject commit 2f94cf00bbeb0ffe2df5c7f29778185ff49c796b