On Mon, Jan 12, 2015 at 9:06 PM, Siôn Le Roux <sinisters...@gmail.com> wrote: > There's a gnome-shell plugin at > https://extensions.gnome.org/extension/519/messaging-menu/ of which I am a > maintainer on GitHub. Although we've still pushed updates to it, it hasn't > received updates on extensions.gnome.org for a few months now and I've just > been given the news that the original author has tragically passed away.
This is sad. Given that you do have commit access upstream, I don't see a reason for not reassigning the extension. You should be able to upload newer versions now. Florian _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
