Skip to content

Conversation

@ptondereau
Copy link
Member

@ptondereau ptondereau commented Nov 28, 2022

Reverts #201
Regression #205

@ptondereau ptondereau linked an issue Nov 28, 2022 that may be closed by this pull request
@ptondereau ptondereau merged commit 7423da0 into master Nov 28, 2022
@ptondereau ptondereau deleted the revert-201-chore/discovery branch November 28, 2022 13:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[regression] build script detects the wrong php version

2 participants