Re: [PHP-DEV] PHP 7.4.1 Released!

On Wed, 18 Dec 2019, Markus Fischer wrote: > On 18.12.19 12:45, Derick Rethans wrote: > > Changelog: > > I think the date here is wrong, it says "19 Dec 2019" but it's the 18th today > 🤷‍♀️ Yeah, I thought it was Thursday already, my bad :-)

[PHP-DEV] PHP 7.2.26 Released

Hi, The PHP development team announces the immediate availability of PHP 7.2.26. This is a security release which also contains several minor bug fixes. All PHP 7.2 users are encouraged to upgrade to this version. For source downloads of PHP 7.2.26 please visit our downloads page. Windows binari

[PHP-DEV] PHP 7.3.13 Released

The PHP development team announces the immediate availability of PHP 7.3.13. This is a security release which also contains several bug fixes. All PHP 7.3 users are encouraged to upgrade to this version. For source downloads of PHP 7.3.13 please visit our downloads page. Windows binaries can be

[PHP-DEV] Re:

On 18.12.2019 at 13:37, Markus Fischer wrote: > On 18.12.19 12:45, Derick Rethans wrote: >> Changelog:    > > I think the date here is wrong, it says "19 Dec 2019" but it's the 18th > today 🤷‍♀️ Thanks. I've fixed that in the sources right now;

Re: [PHP-DEV] PHP 7.4.1 Released!

On 18.12.19 12:45, Derick Rethans wrote: Changelog: I think the date here is wrong, it says "19 Dec 2019" but it's the 18th today 🤷‍♀️ - Markus -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php

[PHP-DEV] PHP 7.4.1 Released!

The PHP development team announces the immediate availability of PHP 7.4.1. This is a bug fix release. All PHP 7.4 users are encouraged to upgrade to this version. For source downloads of PHP 7.4.1 please visit our downloads page. Windows binaries can be found on the PHP for Windows site. The lis

[PHP-DEV] Re: PHP 7.1.33 Released

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. > > Plea

[PHP-DEV] Re: PHP 7.1.33 Released

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://wind

[PHP-DEV] [VOTE] WeakMap

Hi internals, I've opened voting on the WeakMap proposal: https://wiki.php.net/rfc/weak_maps Regards, Nikita