diff options
author | Julian Andres Klode <jak@debian.org> | 2015-08-16 15:59:22 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2015-08-16 15:59:22 +0200 |
commit | fe9a05dfc97769c8494dc1744822d959639eb312 (patch) | |
tree | f5428bb4a61791f5c172b32cc4d720227c2bcc9d /doc/apt-get.8.xml | |
parent | 35ea8b154b105727cf0a0f0238d51b82a0d7c045 (diff) |
When looking if Provides match, OR them with the normal patches
Simply overriding the value caused patterns that previously matched
a real package name to not match anymore.
Closes: #760868
Diffstat (limited to 'doc/apt-get.8.xml')
0 files changed, 0 insertions, 0 deletions