diff --git a/external/mono b/external/mono index 6d11ff42da7..65d1d7cdaeb 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit 6d11ff42da791a63bb2b7c6f4f73737b497ff5b9 +Subproject commit 65d1d7cdaeb553f392f9f969ca1549bbe3e3a432