** Changed in: coq (Debian)
Status: Fix Committed => Fix Released-- bad .desktop https://launchpad.net/bugs/49546 -- universe-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/universe-bugs
- [Bug 49546] Re: bad .desktop Bug Watch Updater
- [Bug 49546] Re: bad .desktop William Grant
