On Fri, Sep 12, 2025, at 23:39, Hans Krentel wrote:
>
>
>
> On Tuesday 09 September 2025 10:14:31 (+02:00), Rob Landers wrote:
>
> > Hi internals,
> >
> > Is there any hope to have https://github.com/php/php-src/pull/16565 merged
> > before 8.5? It's too late to address all the locks, but h
On Saturday 13 September 2025 00:37:08 (+02:00), Rob Landers wrote:
>
>
> On Fri, Sep 12, 2025, at 23:39, Hans Krentel wrote:
> >
> >
> >
> > On Tuesday 09 September 2025 10:14:31 (+02:00), Rob Landers wrote:
> >
> > > Hi internals,
> > >
> > > Is there any hope to have https://github.c
On Tuesday 09 September 2025 10:14:31 (+02:00), Rob Landers wrote:
> Hi internals,
>
> Is there any hope to have https://github.com/php/php-src/pull/16565 merged
> before 8.5? It's too late to address all the locks, but having it as part of
> the ABI would be nice so we can start fixing the
