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