Update of IP for no2.php.net done

  40835
July 6, 2017 12:51 christer.edvartsen@schibsted.com (Christer Edvartsen)
[chredvar:~] $ host no2.php.net
no2.php.net is an alias for phpman.vgnett.no.
phpman.vgnett.no has address 87.238.36.200
phpman.vgnett.no has IPv6 address 2a02:c0:20c:1::200


no.php.net needs a nudge though:


[chredvar:~] $ host no.php.net
no.php.net has address 195.139.129.18

-- 
Christer Edvartsen
Tech Lead, VG News