On Mon, Jun 19, 2017 at 1:09 PM, François Laupretre <franc...@tekwire.net> wrote: > RFC was appoved (17 to 4). Thanks to all who took the time to discuss and > vote about this. > > I just rebased the PR to the current master. Could someone with appropriate > rights merge it ? Thanks. > I was about to merge this, but ran into some issues (mostly minor). Could you at least address the fwrite(stderr, ...) item (and preferably clean up the style nits while you're at it)?
Oh, and I forgot to include it in the CR, but there are some tabs/spaces issues as well. -Sara -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
