diff options
-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 68b3206..d7e525b 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='76a9a14ad72b75b66fdda12fab1532c2e5318cc5', + revision='a915b2c6726b99b58dd5c2ff79c6e825660f4416', override_properties={ 'configure': './bootstrap-2.12 --prefix=%{package_prefix}', } |