diff options
author | Marius Ungureanu <marius.ungureanu@xamarin.com> | 2019-10-22 14:03:38 +0300 |
---|---|---|
committer | Alexander Köplinger <alex.koeplinger@outlook.com> | 2019-10-22 14:03:38 +0300 |
commit | c9d4ecdba49ba7ce564cda5f4d051ee88a9cb0f2 (patch) | |
tree | 6c49ed6b11d4c40aad2d806124ed291cba046ab5 | |
parent | ec63a2da8b8a40761cfffbfcbf5adae91052b018 (diff) |
Bump gtk# for clipboard binding fix (#129)
Needed for dev.azure.com/devdiv/DevDiv/_workitems/edit/1005448
* Also build gtk# with optimize+
-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}', } |