Dear all, I want to get rid of my old e-mail address:
tuxor1337 (at) web.de But at the moment, I have an account (username: tuxor1337) on extensions.gnome.org that is connected to this address. 1) Is there a way to change the e-mail address of an existing account? I assume that there is no way to change the e-mail address of an existing account. Therefore I created a new account (username: user3049) using a different mail address: acc-gnome-extensions (at) tovotu.de 2) Is it possible to change ownership of the extensions Hide Top Bar and Insensitive Message Tray from tuxor1337 to user3049? Is there somebody on this list who can put into effect one the two options? Thanks in advance for your help! Best regards Thomas PS: Please, feel free to contact me under my old e-mail address to verify my identity. _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
