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 Ubuntu Desktop Bugs, which is subscribed to gnome-desktop in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs