commit 15a58cfe2f72f8c393c882c8011de47f4f667ef6
Merge: b2bc70c4f74 9200768a55d
Author: ndossche <7771979+ndossche@users.noreply.github.com>
Date: Sat Feb 28 14:58:07 2026 +0100
Merge branch 'PHP-8.5'
* PHP-8.5:
[ci skip] Tweak SKIPIFs