From d9ea3f6928a45f1459c3c0703787d58f83bb25c2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Alexander=20K=C3=B6plinger?= Date: Wed, 27 Mar 2019 23:57:39 +0100 Subject: [PATCH] Bump mono --- external/mono | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/mono b/external/mono index faddbcae96..bff188abc4 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit faddbcae96a307dc3af929419982f4d550660597 +Subproject commit bff188abc469852c82b6e4e02c184373b8ff1a31