Processing commands for [email protected]: > limit source coq Limiting to bugs with field 'source' containing at least one of 'coq' Limit currently set to 'source':'coq'
> tags 1128515 + pending Bug #1128515 [src:coq] Updating the coq Uploaders list Added tag(s) pending. > thanks Stopping processing here. Please contact me if you need assistance. -- 1128515: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1128515 Debian Bug Tracking System Contact [email protected] with problems
