** Tags added: patch -- Merge antlr3 3.2-4 (main) from Debian unstable (main) https://bugs.launchpad.net/bugs/611005 You received this bug notification because you are a member of Ubuntu Server Team, which is subscribed to antlr3 in ubuntu.