diff options
author | Julian Andres Klode <jak@debian.org> | 2015-08-12 20:44:40 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2015-08-12 20:51:08 +0200 |
commit | 809aa216c630f1cc61b0c3b9d992d4a3be14be3c (patch) | |
tree | 8e742b619907e2400897e3667fb7b1ae45af6b57 /apt-pkg/pkgcache.cc | |
parent | f3f06cae53d8ed5742f47de46d9f9808cfc5ec29 (diff) |
policy: Be more strict about parsing pin files, and document prio 0
Treat invalid pin priorities and overflows as an error.
Closes: #429912
Diffstat (limited to 'apt-pkg/pkgcache.cc')
0 files changed, 0 insertions, 0 deletions