Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

chapeupreto
Copy link
Contributor

This commit adds php-dev as a dependency on Debian/Ubuntu systems, so the following error message is fixed:

image

@chapeupreto chapeupreto changed the title docs: add php-dev as dependency for Debian/Ubuntu systems docs: add php-dev as dependency on Debian/Ubuntu systems Aug 27, 2025
@asgrim asgrim self-requested a review August 27, 2025 09:49
@asgrim asgrim added the documentation Improvements or additions to documentation label Aug 27, 2025
@asgrim asgrim added this to the 1.2.0 milestone Aug 27, 2025
Copy link
Collaborator

@asgrim asgrim left a comment

Choose a reason for hiding this comment

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

Thanks @chapeupreto

@asgrim asgrim enabled auto-merge August 27, 2025 09:50
@asgrim asgrim merged commit b91377b into php:main Aug 27, 2025
28 checks passed
@chapeupreto chapeupreto deleted the patch-1 branch August 27, 2025 11:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants