[aur-requests] [PRQ#11850] Deletion Request for gnome-shell-extension-topicons-plus
bert at bertptrs.nl
Wed Jun 20 11:35:36 UTC 2018
On Tue, 2018-06-19 at 05:45 +0000, notify at aur.archlinux.org wrote:
> buzo  filed a deletion request for gnome-shell-extension-topicons-
> plus :
> This extension is dead. (See upstream URL)
Upstream is not dead, merely unmaintained. To quote the author:
> However, I see a lot of people worrying or talking of TopIcons-Plus
> as a dead thing that needs instant replacement.
> The code is here, rather clean, and it is going to work for a while.
> I may also make one or two releases if/when it is really necessary.
> Just don't expect new features or great bug hunting.
> Somehow, that has always been the point of TopIcons-Plus: filling the
> gap between nothing and long term solutions which will require code
> changes in many applications (AppIndicator or, better in my opinion,
> following the Gnome design with a daemon and notifications).
The extension still has merit, and is still working. Why remove it
while it does?
More information about the aur-requests