*** This bug is a duplicate of bug 1474294 *** https://bugs.launchpad.net/bugs/1474294
Marking this as the dupe as the other bug has multiple tasks, so this way round seems easier. I'll mention the debdiff here in the other bug and subscribe ~ubuntu-sponsors there. ** Tags added: upgrade-software-version ** This bug has been marked a duplicate of bug 1474294 Please merge antlr3 3.2-11 (universe) from Debian unstable (main) -- 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/1479681 Title: please merge antlr3 from Debian To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/antlr3/+bug/1479681/+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