[arch-ports] New IPs for gr.mirror

[Polichronucci]

Hello list,
  I changed hosting platforms for the VM hosting the mirror, so I now have
new IPs. I would like you to change the DNS records to point to the new
IPs please.

IPv4: 83.212.170.30
IPv6: 2001:648:2ffc:1116:a800:ff:fea9:2a63

Please notify me as soon as you make the change. I will leave the old VM
running for a few more days in order for the DNS TTLs to expire.


-- 
polichronucci at archlinux32.org
GPG: 0x7E8A06A6C80574E4