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
..
default.nix	gnomeExtensions.icon-hider: 21 -> 23	2019-04-21 20:39:34 -04:00