Bug#879863: developer-reference conflicts with Policy on priority "extra" vs "optional"

To: 879863@bugs.debian.org
Subject: Bug#879863: developer-reference conflicts with Policy on priority "extra" vs "optional"
From: Nicholas D Steeves <nsteeves@gmail.com>
Date: Sat, 21 Jul 2018 14:34:48 -0400
Message-id: <[🔎] 20180721183447.GA4808@DigitalMercury.dynalias.net>
Reply-to: Nicholas D Steeves <nsteeves@gmail.com>, 879863@bugs.debian.org
In-reply-to: <150903478669.13767.1790333235670814406.reportbug@DigitalMercury.dynalias.net>
References: <150903478669.13767.1790333235670814406.reportbug@DigitalMercury.dynalias.net> <150903478669.13767.1790333235670814406.reportbug@DigitalMercury.dynalias.net>

Control: retitle -1 developer-reference conflicts with Policy on priority "extra" vs "optional"
Control: severity -1 important
Control: tags -1 patch

Merge request filed here:
  https://salsa.debian.org/debian/developers-reference/merge_requests/1

Bumping priority because it contradicts a "should" directive in Policy
§2.5.

Attachment: signature.asc
Description: PGP signature

Reply to:

Prev by Date: Processed: limit source to debian-policy, tagging 886258
Next by Date: Processed: Re: Bug#879863: developer-reference conflicts with Policy on priority "extra" vs "optional"
Previous by thread: Processed: limit source to debian-policy, tagging 886258
Next by thread: Processed: Re: Bug#879863: developer-reference conflicts with Policy on priority "extra" vs "optional"
Index(es):
- Date
- Thread