Apparently this bug went away after upgrading to gnome-shell 3.28.2-1. Might have been fixed upstream. It can be marked as fixed in that version.
Thanks, Matteo Settenvini FSF Associated Member Email : [email protected]
Apparently this bug went away after upgrading to gnome-shell 3.28.2-1. Might have been fixed upstream. It can be marked as fixed in that version.
Thanks, Matteo Settenvini FSF Associated Member Email : [email protected]