diff options
author | Marius Ungureanu <marius.ungureanu@xamarin.com> | 2019-08-19 23:43:10 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-19 23:43:10 +0300 |
commit | d0f9fbf2ed69b7397b4edd80cedd6e8c5322b347 (patch) | |
tree | 5151f148e652b4995ed2af7a294cd564ef225e83 | |
parent | ebd7067a495424591809db3d140dc92fb0466d6c (diff) |
Bump gtk#bump-gtk-2019-08
-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 1df3444..a72b45c 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='2e6bab50c5873674fa7da3102c36f182aa0baf34', + revision='6a98cdb3414a760d44eee5bd4b17224a6762d7ad', override_properties={ 'configure': './bootstrap-2.12 --prefix=%{package_prefix}', } |