diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2015-04-07 22:34:34 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2015-04-07 22:34:34 +0200 |
| commit | d5cf8851753dde4f45bfd3b48fcdf34247a8752a (patch) | |
| tree | 5fc7a2c731dcd1999e1cac623d8c193bab279b9e /doc/manpage-style.xsl | |
| parent | 7e9b7ea8236a79580c4ca47712558096d66bad53 (diff) | |
keyids in "apt-key del" should be case-insensitive
gnupg is case-insensitive about keyids, so back then apt-key called it
directly any keyid was accepted, but now that we work more with the
keyid ourself we regressed to require uppercase keyids by accident.
This is also inconsistent with other apt-key commands which still use
gnupg directly. A single case-insensitive grep and we are fine again.
Closes: 781696
Diffstat (limited to 'doc/manpage-style.xsl')
0 files changed, 0 insertions, 0 deletions