diff --git a/external/mono b/external/mono index bc3791b0ff..7814ea810c 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit bc3791b0ffb077da0f415f70b401c2d086b8d821 +Subproject commit 7814ea810cfd6e54be962562da5c1118c7a6a4f2