On 18.12.2019 at 12:17, Jan Ehrhardt wrote: > Joe Watkins in php.internals (Fri, 25 Oct 2019 00:33:13 +0200): > >> The PHP development team announces the immediate availability of PHP >> 7.1.33. This is a security release. >> >> All PHP 7.1 users are encouraged to upgrade to this version. > > Please include the Windows builds of PHP 7.1.33 in > https://windows.php.net/downloads/releases/archives/
Thanks for the reminder! I've done that now. Regards, Christoph -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
