As this server will be turned off by the hosting company at the end of
it would be nice to change the IP address in Gentoo list of mirrors
( 126.96.36.199 -> by 188.8.131.52)
I created a bug report (https://bugs.gentoo.org/show_bug.cgi?id=473142 )
a few days ago,
but is no news, I tried a revival here on the mailing list.
In advance thank you and goodbye.