Update mono-extensions

monojenkins · Feb 28, 2020 · 1a6eb5a · 1a6eb5a
1 parent ec9db26
commit 1a6eb5a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packaging/MacSDKRelease/mono-extensions.py b/packaging/MacSDKRelease/mono-extensions.py
@@ -6,7 +6,7 @@ class MonoExtensionsPackage(Package):
     def __init__(self):
         Package.__init__(self, 'mono-extensions', None,
                          sources=['[email protected]:xamarin/mono-extensions.git'],
-                         revision='ceae34ed8c7c6d1134f9cf643167d540a6204f86'
+                         revision='a72d7d064515cab3f0ecc67807de6fcaf6f8db01'
                          )
         self.source_dir_name = 'mono-extensions'