Fix run-tests.php hanging when a worker process dies without notice#9931
Merged
arnaud-lb merged 1 commit intophp:PHP-8.1from Jan 13, 2023
Merged
Fix run-tests.php hanging when a worker process dies without notice#9931arnaud-lb merged 1 commit intophp:PHP-8.1from
arnaud-lb merged 1 commit intophp:PHP-8.1from