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. -- Christoph M. Becker -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
