fixed in debian experimental
** Changed in: coq (Ubuntu)
Assignee: Vassilis Pandis => MOTU-- bad .desktop https://launchpad.net/bugs/49546 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
- [Bug 49546] Re: bad .desktop Vassilis Pandis
- [Bug 49546] Re: bad .desktop Bug Watch Updater
