On Mon, Oct 30, 2017 at 10:26 PM, Florian Müllner <fmuell...@gnome.org> wrote: > Please name one registered user on extensions.gnome.org to whom we > should assign ownership.
I just read your previous mail to the list and reassigned ownership to scherepanov as requested. Cheers, Florian _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
