Skip to content

Fix Autoconf check for development versions #11532

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.

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

Merged
merged 1 commit into from
Jul 18, 2023
Merged

Conversation

petk
Copy link
Member

@petk petk commented Jun 25, 2023

When Autoconf version includes also development patch character (for example, 2.72c), such as in unreleased Autoconf versions, this now sets proper number for checking minimum required Autoconf version.

Found at #11427

When Autoconf version includes also development patch character (for
example, 2.72c), such as in unreleased Autoconf versions, this now
sets proper number for checking minimum required Autoconf version.
Copy link
Member

@iluuu1994 iluuu1994 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks @petk!

@nielsdos
Copy link
Member

This is not merged yet, similarly the referenced PR is still open. Did you forget to merge them or should someone else handle the merge? :)

@petk
Copy link
Member Author

petk commented Jul 18, 2023

@nielsdos yes, this and the referenced PR can be merged for PHP-8.3. I'm not sure what is our merge strategy here. I'll check otherwise later, how to merge it. I haven't checked the Git instructions on the php-src for a while now that's why... :D

@iluuu1994
Copy link
Member

@petk For master, unless there's something that needs to be documented, you can generally just hit "Squash and merge". For lower branches, you can also delegate it to somebody else if you'd like, although merging isn't hard either.

@petk petk requested review from adoy and removed request for adoy July 18, 2023 15:50
@petk
Copy link
Member Author

petk commented Jul 18, 2023

Misclick with the reviewer addition and removal above, sorry.

Then let's do that...

@petk petk merged commit 700f691 into php:master Jul 18, 2023
@petk petk deleted the patch-buildconf branch July 18, 2023 15:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants