From e89ddd69cf85383cf7e6abbe94cd74038bd2e262 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Alexander=20K=C3=B6plinger?= Date: Thu, 21 Feb 2019 16:55:33 +0100 Subject: [PATCH] Bump mono --- external/mono | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/mono b/external/mono index 2f94cf00bb..d390bb6901 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit 2f94cf00bbeb0ffe2df5c7f29778185ff49c796b +Subproject commit d390bb6901fd29051a065323ace54a8920f24f39