Jon Banafato 4916f338b5 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		2019-04-21 20:39:34 -04:00
..
apps	gnome3.polari: 3.32.0 -> 3.32.1	2019-04-18 13:46:44 +02:00
core	Merge pull request #59829 from hedning/gnome-3.32.1-bump	2019-04-19 10:35:51 +02:00
devtools	gnome3.gnome-devel-docs: 3.32.0 -> 3.32.1	2019-04-14 19:26:18 +02:00
extensions	gnomeExtensions.icon-hider: 21 -> 23	2019-04-21 20:39:34 -04:00
games	gnome3.atomix: 3.32.0 -> 3.32.1	2019-04-14 19:30:41 +02:00
misc	Merge pull request #59298 from worldofpeace/gnome-pomodoro	2019-04-17 20:17:42 -04:00
default.nix	gnome3.gnome-books: init at 3.32.0	2019-04-05 11:40:34 +02:00
find-latest-version.py	gnome3.updateScript: improve pre-release detection	2018-11-30 21:35:29 +01:00
installer.nix
update.nix	gnome3.updateScript: reuse gnome-update-script	2018-12-02 00:50:37 +01:00