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 /debian/apt.install.in | |
| 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 'debian/apt.install.in')
0 files changed, 0 insertions, 0 deletions