synced
** Changed in: matita (Ubuntu)
Status: New => Fix Released
--
Please sync matita 0.5.2-1 from Debian(Unstable)
https://bugs.launchpad.net/bugs/244921
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is a direct subscriber.