diff --git a/external/mono b/external/mono index 4498dc4a62f..c51d1343f37 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit 4498dc4a62fe7dcd4e3b29898144f41d6396f577 +Subproject commit c51d1343f37b5b7a21ee2c0db5188485b7dae295