[Bug 1479681] Re: please merge antlr3 from Debian

2015-07-30 Thread LocutusOfBorg
** Attachment added: debdiff
   
https://bugs.launchpad.net/ubuntu/+source/antlr3/+bug/1479681/+attachment/4436132/+files/debdiff

-- 
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


[Bug 1479681] Re: please merge antlr3 from Debian

2015-07-30 Thread Robie Basak
*** 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