From aead4cd408db5094d8b277501c1a21cc8e64c7f9 Mon Sep 17 00:00:00 2001 From: Thays Grazia Date: Thu, 27 Feb 2020 18:14:03 -0300 Subject: [PATCH] Bump mono to use embedded ppdb. (#7998) --- mk/mono.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mk/mono.mk b/mk/mono.mk index 5a2e3384c6..6d0fb2ab8d 100644 --- a/mk/mono.mk +++ b/mk/mono.mk @@ -1,4 +1,4 @@ -NEEDED_MONO_VERSION := 36073a0c74afcce48b7eba982c4e60e1549e600d +NEEDED_MONO_VERSION := b33fa1d00ed3b3c16c9abf8c623bb089c6ddc669 NEEDED_MONO_BRANCH := 2019-12 MONO_DIRECTORY := mono