** Bug watch added: Debian Bug tracker #791487 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=791487
** Also affects: antlr3 (Debian) via http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=791487 Importance: Unknown Status: Unknown -- You received this bug notification because you are a member of Ubuntu Server Team, which is subscribed to antlr3 in Ubuntu. https://bugs.launchpad.net/bugs/1474294 Title: Please merge antlr3 3.2-11 (universe) from Debian unstable (main) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/antlr3/+bug/1474294/+subscriptions -- Ubuntu-server-bugs mailing list Ubuntu-server-bugs@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-server-bugs
