Processed: tagging as pending bugs that are closed by packages in NEW
Processing commands for email@example.com:
> # Wed Mar 25 19:03:26 UTC 2009
> # Tagging as pending bugs that are closed by packages in NEW
> # http://ftp-master.debian.org/new.html
> # Source package in NEW: mcrl2
> tags 460885 + pending
Bug#460885: ITP: mcrl2 -- the mCRL2 formal specification language toolset
There were no tags set.
Tags added: pending
End of message, stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)