@Miguel - thanks for the patch - I've raised this under bug 697147 for application in Ubuntu and will request a manual sync once the same changes are release in Debian.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/676904 Title: [MIR] jansi -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs