Ubuntu 20.04 would be pre-release (end of April), and as such doesn't affect "multiple users". If there's a valid (not created by Ubuntu) bug, it would be in Debian, since Ubuntu provides no improvements to any program that I work on.
-- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1866022 Title: XTerm/X icon has a blue 0054 unicode glyph rendered on top To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1866022/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs