Merge pull request #2898 from rolfbjarne/bug59436-d15-5

Bump mono to get fix for #59436.
This commit is contained in:
Luis Aguilera 2017-10-18 14:19:14 -04:00 коммит произвёл GitHub
Родитель 93a0d270fb 2c23c9d99e
Коммит 6e0df5193f
1 изменённых файлов: 1 добавлений и 1 удалений

2
external/mono поставляемый

@ -1 +1 @@
Subproject commit 38da0b3b4996357a7472e3202c575c9111469721
Subproject commit 06b96b294fe5d9a20803fae8f42b42cea05d2bd0