Den lør. 7. jul. 2018 kl. 10.47 skrev Björn Larsson <bjorn.x.lars...@telia.com>: > I leave this to the judgement of the RMs. I have no opinion myself, > besides I think it's a good idea to keep the GA date.
I agree, and an additional few weeks will make the release date very close to the holidays, I think late November/early December is the way to go about this. -- regards, Kalle Sommer Nielsen ka...@php.net -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
