diff --git a/external/mono b/external/mono index 15d76bf5e2d..10758249291 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit 15d76bf5e2d174ac4a01e70fdf130e8b4565a602 +Subproject commit 1075824929104bbaec58882d1f5e9202251d7484