Control: reassign -1 ftp.debian.org Control: forcemerge 948575 -1 On 2021-02-07 Andreas Metzler <[email protected]> wrote: > On 2021-02-07 Martin-Éric Racine <[email protected]> wrote: >> Package: gnupg-utils >> Version: 2.2.20-1
>> Since Debian policy 10.11. released in August 2017, section 2.5 marks >> the package priority Extra as deprecated. Priority Optional should be >> used instead. > afaik priorities are effectively set in the archive software (See > https://wiki.debian.org/FtpMaster/Override and > http://ftp.debian.org/debian/indices/override.sid.main.gz). There is already a bug report about priority extra against ftp.debian.org. Let's reassign and merge. cu Andreas -- `What a good friend you are to him, Dr. Maturin. His other friends are so grateful to you.' `I sew his ears on from time to time, sure'
