Processed: mirror problem tagging

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> user mirrors at packages.debian.org
Setting user to mirrors at packages.debian.org (was weasel at debian.org).
> retitle 717387 [debian.unam.mx] mirror down
Bug #717387 [mirrors] mirrors: Primary Debian mirror site DOWN of Mexico
Changed Bug title to '[debian.unam.mx] mirror down' from 'mirrors: Primary Debian mirror site DOWN of Mexico'
> severity 717387 normal
Bug #717387 [mirrors] [debian.unam.mx] mirror down
Severity set to 'normal' from 'important'
> usertags 717387 mirror-problem
There were no usertags set.
Usertags are now: mirror-problem.
> retitle 744816 [ftp.us.debian.org] Hash Sum mismatch
Bug #744816 [mirrors] mirrors: fail to fetch package list for jessie main
Changed Bug title to '[ftp.us.debian.org] Hash Sum mismatch' from 'mirrors: fail to fetch package list for jessie main'
> severity 744816 normal
Bug #744816 [mirrors] [ftp.us.debian.org] Hash Sum mismatch
Severity set to 'normal' from 'important'
> usertags 744816 mirror-problem
There were no usertags set.
Usertags are now: mirror-problem.
> retitle 780988 [ftp.debian.org.hk] out of date
Bug #780988 [mirrors] mirrors: ftp.hk.debian.org is out of sync with the archive.
Changed Bug title to '[ftp.debian.org.hk] out of date' from 'mirrors: ftp.hk.debian.org is out of sync with the archive.'
> severity 780988 normal
Bug #780988 [mirrors] [ftp.debian.org.hk] out of date
Severity set to 'normal' from 'important'
> usertags 780988 mirror-problem
There were no usertags set.
Usertags are now: mirror-problem.
> retitle 813842 [debian.noc.ntua.gr] out of date
Bug #813842 {Done: Aron Xu <aron at debian.org>} [src:radcli] radcli: include pkgconfig (.pc) file
Changed Bug title to '[debian.noc.ntua.gr] out of date' from 'radcli: include pkgconfig (.pc) file'
> severity 813842 normal
Bug #813842 {Done: Aron Xu <aron at debian.org>} [src:radcli] [debian.noc.ntua.gr] out of date
Ignoring request to change severity of Bug 813842 to the same value.
> usertags 813842 mirror-problem
There were no usertags set.
Usertags are now: mirror-problem.
> --
Stopping processing here.

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