Processing commands for [email protected]: > #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) -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
