From d898653f321f7b3d148d1924a65eb8f76e3f8abd Mon Sep 17 00:00:00 2001 From: Ludovic Henry Date: Fri, 16 Feb 2018 14:53:38 -0500 Subject: [PATCH] Bump to mono:2017-12 --- external/mono | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/mono b/external/mono index fbc4f0546d3..0d51a8063be 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit fbc4f0546d3994984f775b1a7ade5289ae6bfe92 +Subproject commit 0d51a8063beb25da3f4390a9ffddb231e3776a89