Skip to content

Conversation

@asgrim
Copy link
Collaborator

@asgrim asgrim commented Oct 13, 2025

Fixes #382

@asgrim asgrim added this to the 1.3.0 milestone Oct 13, 2025
@asgrim asgrim self-assigned this Oct 13, 2025
@asgrim asgrim added the documentation Improvements or additions to documentation label Oct 13, 2025
@asgrim asgrim merged commit 947063a into php:main Oct 14, 2025
28 checks passed
@asgrim asgrim deleted the migrating-from-package-xml branch October 14, 2025 18:49
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.

extension-maintainers.md should probably mention something about package.xml

2 participants