On 21 Sep 2014, at 22:49, Peter Cowburn <petercowb...@gmail.com> wrote:
> It is closed now. > > The vote is closed now, fact. That does not prevent further (hopefully > productive) discussion from happening, and it also doesn’t stipulate that the > RFC must be merged. The RFC is merged. I suppose you could revert the changes, though it’d be a significant hassle. > Closing the vote at the most convenient opportunity, when it suits the author > most, is not cool. I didn’t close it because the time suited me most. I made an honest mistake and closed it 22 or so hours early because I forgot I’d opened the vote at ~23:00 and not ~02:00. Unfortunately, I realised my mistake after merging the patch. This was definitely not intentional. -- Andrea Faulds http://ajf.me/ -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
