[Reportbug-maint] Processed: [reportbug/master] remove release tags; thanks to Kurt Roeckx for the report and to Julien Cristau for the confirmation; Closes: #613716

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tag 613716 pending
Bug #613716 [reportbug] reportbug: Don't add release tags
Added tag(s) pending.
> tag 613716 pending
Bug #613716 [reportbug] reportbug: Don't add release tags
Ignoring request to alter tags of bug #613716 to the same tags previously set
> thanks
Stopping processing here.

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