diff --git a/external/mono b/external/mono index 607cbde47a1..15d76bf5e2d 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit 607cbde47a19c361c73ab2598e325d656805ac8f +Subproject commit 15d76bf5e2d174ac4a01e70fdf130e8b4565a602