On 1 November 2017 17:47:55 GMT+00:00, BohwaZ <p...@bohwaz.net> wrote: >I can't find the place where we can see the voting history? Last time I >checked the page last week it was 6 to 5 or something like that.
See my email in this thread from a couple of days ago. Last vote was a yes, but probably too late, leaving 6:6, which means no consensus to merge this implementation. Hopefully we can get some momentum behind a more general API that allows this feature in a way that will be more positively received. Regards, -- Rowan Collins [IMSoP] -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php