Re: [PATCH] New IP-address of 'ping.ipfire.org'