that is really a special case, not sure anybody else is changing the format this way, maybe you could open the bug on bugzilla.gnome.org directly? that seems an upstream issue, and the ubuntu team doesn't have the ressources to work on such corner cases right now
-- gnome-panel clock copy bug https://bugs.launchpad.net/bugs/236198 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs