Update of IP for no2.php.net done
[email protected] (Christer Edvartsen) Thu, 6 Jul 2017 14:51:31 +0200
| Newsgroups | php.mirrors |
|---|---|
| Message-ID | <CABO-uqOWuZQZ6iaQer6mVLeSQfJ+cg0yZeN48L11SHOrWZmkww@mail.gmail.com> |
--001a1143f210a4d18a0553a594f5 Content-Type: text/plain; charset="UTF-8" [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 --001a1143f210a4d18a0553a594f5--