The next step is to let upstream know about the issue, I've opened a bug onhttps://bugzilla.gnome.org/show_bug.cgi?id=632145. Let's see now if somebody comes with a fix for it
** Summary changed: - regression: Monitor label has garbage characters in gnome-display-properties + duplicate monitor ids lead to garbage characters in gnome-display-properties ** Bug watch added: GNOME Bug Tracker #632145 https://bugzilla.gnome.org/show_bug.cgi?id=632145 ** Changed in: gnome-desktop Importance: Undecided => Unknown ** Changed in: gnome-desktop Status: New => Unknown ** Changed in: gnome-desktop Remote watch: None => GNOME Bug Tracker #632145 ** Changed in: gnome-desktop (Ubuntu) Status: New => Triaged -- duplicate monitor ids lead to garbage characters in gnome-display-properties https://bugs.launchpad.net/bugs/651731 You received this bug notification because you are a member of Registry Administrators, which is the registrant for gnome-desktop. _______________________________________________ Mailing list: https://launchpad.net/~registry Post to : [email protected] Unsubscribe : https://launchpad.net/~registry More help : https://help.launchpad.net/ListHelp

