diff options
| author | jvoisin | 2025-07-15 22:04:58 +0200 |
|---|---|---|
| committer | jvoisin | 2025-07-15 22:04:58 +0200 |
| commit | 87c5fbe30b6d9adce299d261183ccd9f85b4fa1f (patch) | |
| tree | 408c230602cb047fbb87876ea43689ed128492a3 /debian/source | |
| parent | 7e6822a7b470ab5fcda123927357019842cdb957 (diff) | |
Bump the CI to PHP8.4, now that it's released
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions