[Reportbug-maint] Processed: [reportbug/master] capitalize, not uppercase, ampersend user replacement; patch by Nis Martensen; Closes: #849677

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tag 849677 pending
Bug #849677 [reportbug] reportbug: ampersand-replaced usernames should be capitalized instead of uppercased
Added tag(s) pending.
> tag 849677 pending
Bug #849677 [reportbug] reportbug: ampersand-replaced usernames should be capitalized instead of uppercased
Ignoring request to alter tags of bug #849677 to the same tags previously set
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
849677: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=849677
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems