** Changed in: gnat-gps (Debian)
Status: Unknown => Fix Released
--
Two failing postinsts + a "lost sync" problem during the upgrade
https://launchpad.net/bugs/69019-- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
