Ubuntu
gnome-shell package

  1. Bug #1943857
  2. Comment #11

Comment 11 for bug 1943857

Revision history for this message
Muqtadir (muqtxdir-m) wrote :

I think so yes, the user-name is identical to his Github user-name