diff options
| author | jvoisin | 2024-07-09 15:17:19 +0200 |
|---|---|---|
| committer | jvoisin | 2024-07-09 15:45:22 +0200 |
| commit | 8b85382f29288bd4a8400844934241003e24bb4c (patch) | |
| tree | 3941e1a338b39d164463c43091f1c47563baaafa /doc | |
| parent | 1f349eaebdad6e84e32fa32c3511e5a6d3c92110 (diff) | |
Fix compilation for PHP84+
PHP changed some includes for PHP8.4. This commit also adds php8.4-rc to the CI
This fixes #497 and #496
Reported-by: rainerjung
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions