diff --git a/external/mono b/external/mono index f2a833e4f37a..dbd8954a3373 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit f2a833e4f37ab0141207c1187af6104afb177aee +Subproject commit dbd8954a337399ab4d023dc2e70ea2e16a1612f9