Bug#1018748: reportbug: override requests offer deprecated 'extra' priority option

2022-09-09 Thread Daniel Lewart
On Sat, 3 Sep 2022 22:44:53 -0400, Sandro "morph" Tosi wrote: > > Untested patch below. > thanks for your patch! it would be much more useful if you could test > your patch and report back if it works, instead of delegating this > work to the maintainers. > Thanks for your understanding Thank y

Bug#1018748: reportbug: override requests offer deprecated 'extra' priority option

2022-09-03 Thread Sandro Tosi
> Untested patch below. thanks for your patch! it would be much more useful if you could test your patch and report back if it works, instead of delegating this work to the maintainers. Thanks for your understanding -- Sandro "morph" Tosi My website: http://sandrotosi.me/ Me at Debian: http://w

Bug#1018748: reportbug: override requests offer deprecated 'extra' priority option

2022-08-29 Thread Daniel Lewart
Package: reportbug Version: 11.5.1 Severity: minor Tags: patch Reportbug Maintainers, reportbug ftp.debian.org with request type 'override' asks the user to choose the (new) priority from the following options: * required * important * standard * optional * extra However, Debian Policy