diff options
author | David Kalnischkies <david@kalnischkies.de> | 2016-07-27 08:08:50 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2016-08-31 14:16:10 +0200 |
commit | a8c30aa78bf30586ffa47aa9b9a3ff97f763690a (patch) | |
tree | f79276384939851db9f05897dd8616095df19dfc /apt-pkg/pkgrecords.h | |
parent | e6b75e6e89a72edfc7d71ea0269f3ad8041da0b2 (diff) |
use proper warning for automatic pipeline disable
Also fixes message itself to mention the correct option name as noticed
in #832113.
(cherry picked from commit b9c20219dc17db1d29eaf297263a4b008bd1b90b)
Diffstat (limited to 'apt-pkg/pkgrecords.h')
0 files changed, 0 insertions, 0 deletions