Processing commands for [email protected]: > 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 <[email protected]>
> End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
