[Reportbug-maint] Processed: [reportbug/master] use integer division when computing the max length for a name; suggestion by Ben Longbons; Closes: #848655

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tag 848655 pending
Bug #848655 [reportbug] reportbug crashes with error "TypeError: * wants int"
Bug #849243 [reportbug] reportbug: TypeError: * wants int
Added tag(s) pending.
Added tag(s) pending.
> tag 848655 pending
Bug #848655 [reportbug] reportbug crashes with error "TypeError: * wants int"
Bug #849243 [reportbug] reportbug: TypeError: * wants int
Ignoring request to alter tags of bug #848655 to the same tags previously set
Ignoring request to alter tags of bug #849243 to the same tags previously set
> thanks
Stopping processing here.

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