Bump mono

2018-08-08 10:50:08 +02:00 · 2018-08-08 10:50:08 +02:00 · 3901d8e272
--- a/external/mono
+++ b/external/mono
@ -1 +1 @@
-Subproject commit 925d10ba9c49e94fc89eb1691ae09a9908c14cc9
+Subproject commit a8b65e127b5e4ce072bef31359dfa18073996159