Processed: Re: Bug#604531: Unblock for debarchiver

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

Processing commands for control@bugs.debian.org:

> severity 604531 normal
Bug #604531 [release.debian.org] Unblock for debarchiver
Severity set to 'normal' from 'serious'

> user release.debian.org@packages.debian.org
Setting user to release.debian.org@packages.debian.org (was mehdi@dogguy.org).
> usertags 604531 unblock
Bug#604531: Unblock for debarchiver
There were no usertags set.
Usertags are now: unblock.
> thanks
Stopping processing here.

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