[aur-general] removal request: gnome-shell-extension-remove-acessibility-icon
eldermarco at gmail.com
Fri Jan 27 18:50:05 EST 2012
On Fri, Jan 27, 2012 at 9:37 PM, Stefan Wilkens <stefanwi... at gmail.com>wrote:
> It doesn't seem to be the same plugin, both have different authors.
> Given how some of these extensions randomly end up unmaintained, I
> think there's value in keeping both in the AUR.
> If maintaining both is a burden, just drop the one you don't want and
> somebody will pick it up. If not, I will.
Hmmm, it's truth! You're right. There's a value in keeping both in the AUR.
It's not a burden, I can maintain them.
GNU/Linux User: #471180
"Contra o positivismo, que pára perante os fenômenos e diz: 'Há apenas
fatos', eu digo: 'Ao contrário, fatos é o que não há; há apenas
More information about the aur-general