Update of IP for no2.php.net done
| From: | Christer Edvartsen | Date: | Thu, 06 Jul 2017 12:51:31 +0000 |
| Subject: | Update of IP for no2.php.net done | ||
| Groups: | php.mirrors | ||
| Request: | Send a blank email to php-mirrors+get-40835@lists.php.net to get a copy of this message | ||
[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