diff --git a/external/mono b/external/mono index 4d41b0560f..e257971d3c 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit 4d41b0560ffdd68aa78bda2a4e9042643a227f18 +Subproject commit e257971d3c89ba4a054514d83ea84eb2bcb7ad69