#840168 apt-file does not respect apt pinning priorities

Package:
apt-file
Source:
apt-file
Submitter:
"William L. DeRieux IV"
Date:
2016-11-05 15:45:05 UTC
Severity:
wishlist