diff options
author | Julian Andres Klode <jak@debian.org> | 2015-08-10 15:00:16 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2015-08-10 15:00:16 +0200 |
commit | 3436218c5fbbd7ff543863dc4c2d590b9f12c377 (patch) | |
tree | d761b402d5e7ffc62328be1527ec49c35069793c /prepare-release | |
parent | a91aae406112df1d8fe16d00212333a20210f674 (diff) |
policy: Fix the new policy implementation to handle downgrades correctly
This was broken previously, as we'd choose a downgrade when it's
pin was higher than the previously selected candidate.
Diffstat (limited to 'prepare-release')
0 files changed, 0 insertions, 0 deletions