Bug#759260: marked as done (Remove priority "extra", make all corresponding packages priority "optional")

2017-08-05 Thread Debian Bug Tracking System
Your message dated Sun, 06 Aug 2017 03:04:19 + with message-id and subject line Bug#759260: fixed in debian-policy 4.0.1.0 has caused the Debian Bug report #759260, regarding Remove priority "extra", make all corresponding packages priority "optional" to

Bug#759260: marked as done (Remove priority extra, make all corresponding packages priority optional)

2014-10-20 Thread Debian Bug Tracking System
Your message dated Mon, 20 Oct 2014 22:58:55 + with message-id 20141020225855.20789.qm...@11b36247e3b7f0.315fe32.mid.smarden.org and subject line Re: Bug#759260: [PATCH v2] Remove priority extra, make all corresponding packages priority optional has caused the Debian Bug report #759260,