commit 29d840a1b424fc2ff48f89911270f533b2e9f261
Merge: e84206f5c81 9b3ca2e9e69
Author: ndossche <7771979+ndossche@users.noreply.github.com>
Date: Sun Nov 1 14:08:25 2026 +0100
Merge branch 'PHP-8.5' into PHP-8.6
* PHP-8.5:
Fix coverage nightly job failure