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. Nikita
