diff options
| author | Marius Ungureanu <marius.ungureanu@xamarin.com> | 2019-12-04 21:00:39 +0300 |
|---|---|---|
| committer | Alexander Köplinger <alex.koeplinger@outlook.com> | 2019-12-04 21:00:39 +0300 |
| commit | 4d658c7cf2a246c457d9e685a8a26e4909f556b3 (patch) | |
| tree | ad32724853691d3749e461edb6dca9c70bbd553d | |
| parent | c9d4ecdba49ba7ce564cda5f4d051ee88a9cb0f2 (diff) | |
Bump gtk# to get startup performance improvements in case of env var (#136)
| -rw-r--r-- | packages/gtk-sharp.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/packages/gtk-sharp.py b/packages/gtk-sharp.py index 0760dee..68b3206 100644 --- a/packages/gtk-sharp.py +++ b/packages/gtk-sharp.py @@ -4,7 +4,7 @@ class GtkSharp212ReleasePackage (Package): Package.__init__(self, 'gtk-sharp', sources=['git://github.com/mono/gtk-sharp.git'], git_branch='gtk-sharp-2-12-branch', - revision='dedce8ddbe37ae467f18ff785255e04fd9ccd782', + revision='76a9a14ad72b75b66fdda12fab1532c2e5318cc5', override_properties={ 'configure': './bootstrap-2.12 --prefix=%{package_prefix}', } |