On 04.07.2018 at 00:11, Michael Moravec wrote: > I wanted to keep it within the standard 14 days long period > both for discussion and voting. > If there are no objections (no votes yet), we can shorten it > i.e. to 2018-.07-16 23:00 UTC - would that work for you?
Yeah, I'd prefer that. It's not that 2018-07-17 12:00 UTC *couldn't* work – it's just I'd rather have some buffer time (I presume there will be more RFCs whose voting ends close to feature freeze). Thanks, Michael, anyway! -- Christoph M. Becker -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
