diff options
author | Julian Andres Klode <jak@debian.org> | 2015-08-10 12:18:28 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2015-08-10 12:18:28 +0200 |
commit | 5f9386e54360c403772e2a876d48d31dde9d5097 (patch) | |
tree | 177cc6b75801285d8ce8fd7a8d4bd39eb6069351 /apt-private/private-download.cc | |
parent | 20cf708a62df5e4aa45a506819db425c6cc975fe (diff) |
policy: Return highest file pin if version pin == 0 in GetPriority()
This makes sure that we display a useful value instead of 0 for
versions that are pinned due to package files.
Diffstat (limited to 'apt-private/private-download.cc')
0 files changed, 0 insertions, 0 deletions