Hi everybody,
I've submitted a pull-request to fix bug #51191. This is now waiting for
review for 2 months. Is there anything further I can do? What's the
appropriate duration to wait before pinging at this mailinglist?
Link to PR: https://github.com/php/php-src/pull/7509
I've just rebased to f
Hi,
No worries. Thanks for the quick reply!
On 24.11.21 10:08, Jakub Zelenka wrote:
On Wed, Nov 24, 2021 at 8:06 AM Tim Siebels wrote:
Hi everybody,
I've submitted a pull-request to fix bug #51191. This is now waiting for
review for 2 months. Is there anything further I can do? What&