** Bug watch added: Debian Bug tracker #391972 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=391972
** Also affects: gnat-gps (Debian) via http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=391972 Importance: Unknown Status: Unknown -- Two failing postinsts + a "lost sync" problem during the upgrade https://launchpad.net/bugs/69019 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
