On 31.07.2018 at 15:13, Christoph M. Becker 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.
Done: <http://git.php.net/?p=php-src.git;a=commit;h=7866f28>. -- Christoph M. Becker -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
