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: Tobias Frost <tobi@debian.org>
Date: Sat, 15 Sep 2018 11:48:01 +0200
Message-id: <[🔎] fa69758f48a83249ad1cff4115c066f762e54d11.camel@debian.org>
Reply-to: Tobias Frost <tobi@debian.org>, 879863@bugs.debian.org
In-reply-to: <20180721183447.GA4808@DigitalMercury.dynalias.net>
References: <150903478669.13767.1790333235670814406.reportbug@DigitalMercury.dynalias.net> <20180721183447.GA4808@DigitalMercury.dynalias.net> <150903478669.13767.1790333235670814406.reportbug@DigitalMercury.dynalias.net>

Control: tags -1 pending

MR has been merged.

Reply to: