Processed: Re: Processed: mirror problem tagging

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> # oops, wrong bug
> user mirrors at packages.debian.org
Setting user to mirrors at packages.debian.org (was weasel at debian.org).
> retitle 813842 radcli: include pkgconfig (.pc) file
Bug #813842 {Done: Aron Xu <aron at debian.org>} [src:radcli] [debian.noc.ntua.gr] out of date
Changed Bug title to 'radcli: include pkgconfig (.pc) file' from '[debian.noc.ntua.gr] out of date'
> usertags 813842 - mirror-problem
Usertags were: mirror-problem.
Usertags are now: .
> retitle 813841 [debian.noc.ntua.gr] out of date
Bug #813841 [mirrors] mirrors: Update from ftp.gr.debian.org is not possible
Changed Bug title to '[debian.noc.ntua.gr] out of date' from 'mirrors: Update from ftp.gr.debian.org is not possible'
> severity 813841 normal
Bug #813841 [mirrors] [debian.noc.ntua.gr] out of date
Severity set to 'normal' from 'important'
> usertags 813841 mirror-problem
There were no usertags set.
Usertags are now: mirror-problem.
> --
Stopping processing here.

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