diff --git a/external/mono b/external/mono index 15d050a792..bd6801d402 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit 15d050a79274d3ad80fb273b38affff000da37e5 +Subproject commit bd6801d40222b69966b7c17e4f1674214c435962