diff --git a/external/mono b/external/mono index 1ac151d24b0..df2b5d5286f 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit 1ac151d24b0159a71015abd41d4704e2c1310cc2 +Subproject commit df2b5d5286fff69e075e3a7e3aa152539eb72973