Re: [PHP-DEV] PHP 7.3 branched

On 01.08.2018 at 18:38, Gabriel Caruso wrote: > Should we also "branch" PHP 7.3 in GCOV (http://gcov.php.net/)? I've already sent a mail to Nuno yesterday, as suggested in README.RELEASE_PROCESS[1], but didn't receive any reply yet. It doesn't hurry, anyway. :) [1]

Re: [PHP-DEV] PHP 7.3 branched

> > That's it! Feature freeze is on. > > Please include branch PHP-7.3 in all merges from 7.1 and earlier. > Please commit all 7.3 fixes to PHP-7.3 and merge to master which is > now targetting 7.4. > > This is real. . > > -- > Christoph M.

Re: [PHP-DEV] PHP 7.3 branched

Den tir. 31. jul. 2018 kl. 22.57 skrev Christoph M. Becker : > I've never tried pickle, and I have no idea about its status and > usability (after all, further development appears to have been mostly > ceased[2]), but still it might be the best way to move forward. > > [2]

Re: [PHP-DEV] PHP 7.3 branched

On 31.07.2018 at 18:44, Kalle Sommer Nielsen wrote: > Off-topic: Perhaps its time to look at alternatives and unbundle pear > instead of only seeimly (at a quick glance) keeping it alive for newer > PHP compatibility, which seems to have the main case for the last > couple of years. We had issues

Re: [PHP-DEV] PHP 7.3 branched

Den tir. 31. jul. 2018 kl. 17.58 skrev Christoph M. Becker : > [1] Off-topic: Perhaps its time to look at alternatives and unbundle pear instead of only seeimly (at a quick glance) keeping it alive for newer PHP compatibility, which seems to have

Re: [PHP-DEV] PHP 7.3 branched

On 31.07.2018 at 14:55, Derick Rethans wrote: > On Tue, 31 Jul 2018, Christoph M. Becker wrote: > >> This is real. . > > I've just compiled this from source, and I get the following upon "make > install": > > Warning: "continue" targeting

Re: [PHP-DEV] PHP 7.3 branched

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]: >>

Re: [PHP-DEV] PHP 7.3 branched

On 31.07.2018 at 15:18, Nikita Popov wrote: > On Tue, Jul 31, 2018 at 3:13 PM, 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]: >>>

Re: [PHP-DEV] PHP 7.3 branched

On Tue, Jul 31, 2018 at 3:13 PM, 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= >

Re: [PHP-DEV] PHP 7.3 branched

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=1a0c1aebae7d27747cc9f8f0d9c4c36c62f7;hb=refs/heads/master#l47 Good

Re: [PHP-DEV] PHP 7.3 branched

> > That's it! Feature freeze is on. > > Please include branch PHP-7.3 in all merges from 7.1 and earlier. > Please commit all 7.3 fixes to PHP-7.3 and merge to master which is > now targetting 7.4. > > This is real. . > > -- > Christoph M.

Re: [PHP-DEV] PHP 7.3 branched

On Tue, 31 Jul 2018, Christoph M. Becker wrote: > That's it! Feature freeze is on. > > Please include branch PHP-7.3 in all merges from 7.1 and earlier. > Please commit all 7.3 fixes to PHP-7.3 and merge to master which is > now targetting 7.4. > > This is real.

[PHP-DEV] PHP 7.3 branched

That's it! Feature freeze is on. Please include branch PHP-7.3 in all merges from 7.1 and earlier. Please commit all 7.3 fixes to PHP-7.3 and merge to master which is now targetting 7.4. This is real. . -- Christoph M. Becker -- PHP