[Reportbug-maint] Processed: [reportbug/master] correctly pass the 'timeout' parameter to 'check_built'; thanks to Daniel Bolton for the report and to Milan Vancura for the patch; Closes: #580382

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tag 580382 pending
Bug #580382 [reportbug] reportbug: crashes after selecting severity
Bug #580284 [reportbug] reportbug: "NameError: global name 'options' is not defined" when reporting FTBS
Added tag(s) pending.
Added tag(s) pending.
> tag 580382 pending
Bug #580382 [reportbug] reportbug: crashes after selecting severity
Bug #580284 [reportbug] reportbug: "NameError: global name 'options' is not defined" when reporting FTBS
Ignoring request to alter tags of bug #580382 to the same tags previously set
Ignoring request to alter tags of bug #580284 to the same tags previously set
> thanks
Stopping processing here.

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