diff --git a/external/mono b/external/mono index 89d7665e281..4b020ca06d4 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit 89d7665e281a7f539b6f91501f4dcf1864961bf5 +Subproject commit 4b020ca06d46b2af6d9fc0d0b2cf454301f5014e