diff options
| author | Michael Heimpold <mhei@heimpold.de> | 2022-04-28 07:28:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-28 07:28:20 +0200 |
| commit | 8f90493462d17b5299ea1fc7e9a7eade088192ce (patch) | |
| tree | 3d56c0130e7bd8d1f86d3179a9787eba660799ab /lang/python | |
| parent | 512eda2c3b8f52ceb86b11592dd427bcf1fb7fcd (diff) | |
| parent | ef1249f35428a9df6999e9c296dad80a80452c38 (diff) | |
Merge pull request #18391 from mhei/php8-update
php8: update to 8.1.5
Diffstat (limited to 'lang/python')
0 files changed, 0 insertions, 0 deletions