> On Mar 10, 2020, at 23:56, Stanislav Malyshev <[email protected]> wrote: > > Hi! > >> Bump. Anyone? >> >> If there are no objections, can someone go ahead and merge this? > > I merged it.
Thanks, Stas! Cheers, Ben -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
