[Reportbug-maint] Bug#849677: Bug#849677: reportbug: ampersand-replaced usernames should be capitalized instead of uppercased

[Sandro Tosi]

Hey Nis

On Thu, Dec 29, 2016 at 1:41 PM, Nis Martensen <nis.martensen at web.de> wrote:
> The fix for https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=224231
> was not fully accurate. "finger" does capitalize, not uppercase the
> username replacing the ampersand.

Thanks for your patch, but in the meantime reportbug has migrated to
python3 (as for v7.0.0, latest v7.1.1) - could you verify if your fix
is still required in the new version and if so port the patch to it?
git repo url for reference:
https://anonscm.debian.org/gitweb/?p=reportbug/reportbug.git

thanks

-- 
Sandro "morph" Tosi
My website: http://sandrotosi.me/
Me at Debian: http://wiki.debian.org/SandroTosi
G+: https://plus.google.com/u/0/+SandroTosi