*** This bug is a duplicate of bug 1717453 ***
https://bugs.launchpad.net/bugs/1717453
Thank you for taking the time to report this bug and helping to make
Ubuntu better. This particular bug has already been reported and is a
duplicate of bug 1717453, so it is being marked as such. Please
** Package changed: mutter (Ubuntu) => gnome-shell (Ubuntu)
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1821365
Title:
font size of the Top Bar should be resizable
To manage notifications about