diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2020-06-19 13:58:35 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2020-07-02 18:57:11 +0200 |
| commit | cfd0172fb0eeb15b2e2427c0e11b2ec65f501839 (patch) | |
| tree | 0b004e07fecb6d47456c8c4242a1803a0c9c24a0 /debian/apt-daily.timer | |
| parent | 3e39efa31da463ca05016513835d9a5388f80f90 (diff) | |
Filter out impossible solutions for protected propagation
If the package providing the given solution is tagged already for
removal (or at least for "not installing") we can ignore this solution
as a possibility as it is not one, which means we can avoid exploring
the option and potentially forward the protected flag further if that
helps in reducing the possibilities to a single one.
Diffstat (limited to 'debian/apt-daily.timer')
0 files changed, 0 insertions, 0 deletions