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 ea89564..0760dee 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='6a98cdb3414a760d44eee5bd4b17224a6762d7ad', + revision='dedce8ddbe37ae467f18ff785255e04fd9ccd782', override_properties={ 'configure': './bootstrap-2.12 --prefix=%{package_prefix}', } |