diff --git a/external/mono b/external/mono index 2c13a959c0a7..8ca772d7f96d 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit 2c13a959c0a7bb3d0d5cbb86e8affbb36cf42db4 +Subproject commit 8ca772d7f96de8230c07a75ae4f195c9cb554588 diff --git a/external/watch-mono b/external/watch-mono index 2c13a959c0a7..8ca772d7f96d 160000 --- a/external/watch-mono +++ b/external/watch-mono @@ -1 +1 @@ -Subproject commit 2c13a959c0a7bb3d0d5cbb86e8affbb36cf42db4 +Subproject commit 8ca772d7f96de8230c07a75ae4f195c9cb554588