Synced; thanks, Matthias!
** Changed in: jflex (Ubuntu Jaunty)
Status: Triaged => Fix Released
--
not yet addressed MIR comments
https://bugs.launchpad.net/bugs/319607
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is a direct subscriber.