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

[Daniel Lewart <lewart3@gmail.com>]

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 you for the feedback!

I did several tests of my patch (with reportbug -d ftp.debian.org) and
they worked.

Grazie!
Daniel Lewart
Urbana, Illinois