For anyone reading this in the future, the package name in the preferences file must be specified in full, you can't use wildcards it seems. (Thanks to Fr3ddie for the feedback)
-- 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
