please use malone to file bugs. https://bugs.launchpad.net/ubuntu/+source/texmacs/+bug/58498 -- Gruesse/greetings, Reinhard Tartler, KeyID 945348A4
-- Ubuntu-motu mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-motu
