diff --git a/external/mono b/external/mono index 3f4f070d3db5..15d76bf5e2d1 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit 3f4f070d3db5d87abb16016c811f5a8cb68cb792 +Subproject commit 15d76bf5e2d174ac4a01e70fdf130e8b4565a602