diff options
author | Julian Andres Klode <jak@debian.org> | 2023-05-02 11:59:46 +0000 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2023-05-02 11:59:46 +0000 |
commit | 64a449186387cea2cf8ebed4f7890995b48300a7 (patch) | |
tree | 309335c57752e3b37c69751ae9e3f57eb4f2baf5 /doc/po | |
parent | aa8c9aad81b57da96e8ac7345d0024ee526c7714 (diff) | |
parent | 5f9552801139e6ea8d84db20692561b79cda6d00 (diff) |
Merge branch 'or-group-removal' into 'main'
fix (pkgProblemResolver): Keep "or group" when installing package to satisfy it
See merge request apt-team/apt!292
Diffstat (limited to 'doc/po')
0 files changed, 0 insertions, 0 deletions