On 31.07.2018 at 15:18, Nikita Popov wrote: > On Tue, Jul 31, 2018 at 3:13 PM, Christoph M. Becker <cmbecke...@gmx.de> > wrote: > >> On 31.07.2018 at 15:09, Gabriel Caruso wrote: >> >>> Should we also update the README.GIT-RULES[1] file, or wait for the >>> official release before it? >>> >>> [1]: >>> http://git.php.net/?p=php-src.git;a=blob;f=README.GIT-RULES;h= >> 1a0c1aebaeeeee7d27747cc9f8f0d9c4c36c62f7;hb=refs/heads/master#l47 >> >> Good catch, Gabriel! I'll update the file (and add a respective note to >> README.RELEASE_PROCESS) later, if nobody beats me to it. >> > > Would probably be a good time to empty UPGRADING and UPGRADING.INTERNALS as > well.
Thanks! I've did that right away (<http://git.php.net/?p=php-src.git;a=commit;h=bccf0df>). -- Christoph M. Becker -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
