New IP Address for RTEMS.info

[Ralf Corsepius]

On 10/09/2012 03:08 AM, Joel Sherrill wrote:
> Hi
>
> The mirror at rtems.info now has a new IP address. I have just
> changed the IP address in my router. It may take a day or two
> for the new DNS entries to propagate.

ATM things appear to be in disorder ;)

rtems.org machines can't resolve rtems.info at all.

On my local machines, rtems.info resolves to 2 different IP-addresses at 
the same time, with reverse DNS seemingly not working.

> Feel free to ask if you have any questions.

I have temporarily taken out rtems.info from my yum-repository 
mirrorlist-generation/mirror-check script.

Give me a ping when things have settled.

Ralf