Processing commands for cont...@bugs.debian.org:
> user debian...@lists.debian.org
Setting user to debian...@lists.debian.org (was a...@debian.org).
> usertags 774282 - - piuarts
Usertags were: - piuparts piuarts.
Usertags are now: piuparts.
> unarchive 708487
Bug #708487 {Done: Hwei Sheng Teoh <hst...@debian.org>} [src:axe] axe: Please
get rid of install-info call in maint-script
Unarchived Bug 708487
> tags 708487 + wheezy
Bug #708487 {Done: Hwei Sheng Teoh <hst...@debian.org>} [src:axe] axe: Please
get rid of install-info call in maint-script
Added tag(s) wheezy.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
708487: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=708487
774282: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=774282
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
