Hi Christoph, Yes, https://github.com/php/php-src/pull/3311 is the correct merge request.
--- Charles R. Portwood II On Jun 19, 2018, 10:28 AM -0500, Christoph M. Becker <cmbecke...@gmx.de>, wrote: > On 19.06.2018 at 17:12, Charles Portwood wrote: > > > The RFC has been accepted 17-0 in favor of adding this to PHP 7.3. A merge > > request with the implementation is available at > > https://github.com/php/php-src/pull/1997 for review and merging into 7.3 > > when ready. > > Thanks! You mean <https://github.com/php/php-src/pull/3311>, however, > don't you? > > -- > Christoph M. Becker
