Hi, I've just pushed the changes to the PHP website live, and fixed the apache config on php-web3, as it still had "php.net" as ServerName and "www.php.net" as ServerAlias — I did commit that to the local GIT repo.
Things seem to look fine, so are you OK with my switching away DNS from the mirrors in the mid-afternoon (15:00 BST)? cheers, Derick On Thu, 28 Mar 2019, Sascha Schumann wrote: > > So I guess we (I) need to modify that script to not CNAME these to the > > respective mirrors, but instead to star-php-net.ax4z.com. instead? I can > > work on that (tomorrow). > > Sounds good. > > Sascha > -- https://derickrethans.nl | https://xdebug.org | https://dram.io Like Xdebug? Consider a donation: https://xdebug.org/donate.php, or become my Patron: https://www.patreon.com/derickr twitter: @derickr and @xdebug
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
