diff options
| author | Jon Banafato <jon@jonafato.com> | 2019-04-21 20:25:39 -0400 |
|---|---|---|
| committer | Jon Banafato <jon@jonafato.com> | 2019-04-21 20:39:34 -0400 |
| commit | 4916f338b5180f5965d136469201499794ff2bab (patch) | |
| tree | 9ecd348e6bd4a27ec21d12fbd945b59ddf526b68 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 2b0c513ff4e282fb9446b7470a3872118a926847 (diff) | |
gnomeExtensions.icon-hider: 21 -> 23
Upgrade to the latest version, now with GNOME 3.32 support. Mark as not
broken. Full changelog available at
https://github.com/ikalnytskyi/gnome-shell-extension-icon-hider/compare/v21...v23
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions