diff options
author | Ankit Jain <radical@gmail.com> | 2019-02-20 17:16:42 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-20 17:16:42 +0300 |
commit | 45d61774e84f3f99c6e49d078396096d8e52c48e (patch) | |
tree | 5a1fb9d192bd5f5542b00f0be4768e8907fc301c | |
parent | 2b05cd3644a798d6656ca3dbd4c82ad14979cbb3 (diff) |
[gtk-sharp] Bump to pick up a build fix (#88)
https://github.com/mono/gtk-sharp/pull/264
-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 b35cf23..aa04cbd 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='372b03b5cf68af8088e1fec00c201ea057578021', + revision='3faabd7bdce8f3e3e59f0ee945f4f36ea6d3e870', override_properties={ 'configure': './bootstrap-2.12 --prefix=%{package_prefix}', } |