rediris.es dead mirror still listed

Proyecto:Web
Componente:Main
Categoría:informe de fallo
Prioridad:normal
Asignado:No asignado
Estado:closed
Descripción

The rediris mirror died, it should not be mentioned on the European mirrors list of packages.trisquel.info. E.g. http://packages.trisquel.info/toutatis/amd64/gcc/download

Also listed on http://archive.trisquel.info/README.html

sirgazil (no verificado):
Lun, 02/25/2013 - 17:42
Estado:active» duplicate

This is a duplicate of the following issue:

http://trisquel.info/es/issues/7682

sirgazil (no verificado):
Lun, 02/25/2013 - 17:44
Estado:duplicate» active

No, it's not a duplicate. My bad.

Lun, 02/25/2013 - 17:57

I probably should've added this info to the other bug,

Jue, 01/08/2015 - 22:17
Estado:active» closed

Looks like it's no longer listed.