That's right, David, good point. Also bear in mind that when we finish multiple-ppas per user (bug #158570) there will be a small change in the 'Origin' value, it will include the proposed PPA name.
We will warn users appropriately when it's time and thanks for testing this feature. -- Allow pinning based on individual PPA repository https://bugs.launchpad.net/bugs/270817 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
