Processed: limit source to coq, tagging 557458

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> #coq (8.2.pl1+dfsg-4) UNRELEASED; urgency=low
> #
> #  * debian/control: fix typo in long description (Closes: #557458)
> #
> limit source coq
Limiting to bugs with field 'source' containing at least one of 'coq'
Limit currently set to 'source':'coq'

> tags 557458 + pending
Bug #557458 [coq] Typo in package description: "This packages"
Added tag(s) pending.
>
End of message, stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)