ftp.es.debian.org mirror status
one of our users sent us a message complaining about
ftp.es.debian.org not working (he was mentioning the address
126.96.36.199). We have our debian mirror in a server with address
188.8.131.52, which seems to be the actual pointer for ftp.es.debian.org.
This ok for us, but only wanted to note that we haven't been informed.
We would like to know if this is temporary or if it's going to be
permanent (no problem at all with being the ftp.es.debian.org mirror,
only that we would have preferred to be informed).