On Fri, Oct 6, 2017 at 12:04 PM, Sara Golemon wrote:
> On Fri, Oct 6, 2017 at 10:18 AM, Rasmus Lerdorf
> wrote:
> > Sara/Remi do you mind if I merge this into 7.2? This affects opcache
> debug
> > output only and I want to start playing with some DCE reporting from
> Phan.
> > Having the origina
On 06.10.2017 at 19:26, Will Fitch wrote:
> What is the process of closing out pull requests on GitHub for extensions
> we maintain? For example:
> https://github.com/php/pecl-numbers-bitset/issues/11 - I have no way of
> closing that out other than to push a bogus commit with "Fix #11" as the
> m
Hi All -
What is the process of closing out pull requests on GitHub for extensions
we maintain? For example:
https://github.com/php/pecl-numbers-bitset/issues/11 - I have no way of
closing that out other than to push a bogus commit with "Fix #11" as the
message.
Is there are grant option for GitH
On Fri, Oct 6, 2017 at 10:18 AM, Rasmus Lerdorf wrote:
> Sara/Remi do you mind if I merge this into 7.2? This affects opcache debug
> output only and I want to start playing with some DCE reporting from Phan.
> Having the original line numbers available will make that more effective.
>
> http://gi
Sara/Remi do you mind if I merge this into 7.2? This affects opcache debug
output only and I want to start playing with some DCE reporting from Phan.
Having the original line numbers available will make that more effective.
On Fri, Oct 6, 2017 at 11:03 AM, Rasmus Lerdorf wrote:
> Commit:9fe6
