Processing commands for cont...@bugs.debian.org:

> # Tue Nov 30 19:03:48 UTC 2010
> # Tagging as pending bugs that are closed by packages in NEW
> # http://ftp-master.debian.org/new.html
> #
> # Source package in NEW: getfem++
> tags 591514 + pending
Failed to alter tags of Bug 591514: Not altering archived bugs; see unarchive.

> # Source package in NEW: ramond
> tags 604168 + pending
Bug #604168 [wnpp] ITP: ramond -- IPv6 Router Advertisement MONitoring Daemon
Added tag(s) pending.
> # Source package in NEW: aac-tactics
> tags 605487 + pending
Bug #605487 [wnpp] ITP: aac-tactics -- Coq tactics for reasoning modulo AC
Added tag(s) pending.
>
End of message, stopping processing here.

Please contact me if you need assistance.
-- 
605487: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=605487
604168: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=604168
591514: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=591514
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems


-- 
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: 
http://lists.debian.org/handler.s.c.129114384615630.transcr...@bugs.debian.org

Reply via email to