New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update REDAXO versions project_manager.server.config.php #83

Merged

rkemmere merged 2 commits into main from versions

Jun 13, 2023

Member

alxndr-w commented Jun 13, 2023

5.15.x

< 5.12.0


          Update REDAXO versions project_manager.server.config.php

4427dbd

+ 5.15.x
- < 5.12.0

alxndr-w requested review from rkemmere and aeberhard

June 13, 2023 06:50


          Update project_manager.server.config.php

089af25

https://wiki.php.net/todo/php83

rkemmere merged commit b732e95 into main

rkemmere deleted the versions branch

June 13, 2023 07:07

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment