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 Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
