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

2016-12-30 Thread Nis Martensen
Hey Sandro, On 29-12-2016 19:53, Sandro Tosi wrote: > 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: >

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

2016-12-29 Thread Sandro Tosi
Hey Nis On Thu, Dec 29, 2016 at 1:41 PM, Nis Martensen 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