Processed: closing 504224
Processing commands for control@bugs.debian.org:
> close 504224 8.0pl1-1
Bug#504224: coq: Mistake in package description
'close' is deprecated; see http://www.debian.org/Bugs/Developer#closing.
Bug marked as fixed in version 8.0pl1-1, send any further explanations to Julian Aloofi <debiannailuj@googlemail.com>
>
End of message, stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: