Sorry, please disregard my two latest comments. There seems to have been
a pinning conflict which led such files to have too an high priority.

Everything works as expected.

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

Reply via email to