From b220bde40d7575c22bfaaab248ca1cf7a20db68b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Alexander=20K=C3=B6plinger?= Date: Sat, 9 Feb 2019 00:26:45 +0100 Subject: [PATCH] Bump mono --- external/mono | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/mono b/external/mono index d3ebbdcde2..be6e0ebc77 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit d3ebbdcde21c5186d89194c82f29afa7a72298d5 +Subproject commit be6e0ebc772cb7a2e12387d49bb91e85592bcd85