Re: [PHP-GCOV] Build error - PHP_HEAD (2019-03-28)

2019-03-30 Thread Christoph M. Becker
On 30.03.2019 at 12:27, Nuno Lopes wrote: > Done, thanks! > Could you please ping me when this extension is fixed?  Or is it being > removed/moved to pecl? There is currently an RFC to remove ext/interbase[1] under discussion, which is the reason why the extension has not (yet) been fixed. [1] <

Re: [PHP-GCOV] Build error - PHP_HEAD (2019-03-28)

2019-03-30 Thread Nuno Lopes
Done, thanks! Could you please ping me when this extension is fixed? Or is it being removed/moved to pecl? Thanks, Nuno -Original Message- From: Christoph M. Becker Sent: Friday, March 29, 2019 2:42 PM To: PHP GCOV ; nlop...@php.net Subject: Re: [PHP-GCOV] Build error - PHP_HEAD (2019