Skip to content

Documentation improvements #262

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 3 commits into from
Jun 23, 2025
Merged

Documentation improvements #262

merged 3 commits into from
Jun 23, 2025

Conversation

asgrim
Copy link
Collaborator

@asgrim asgrim commented Jun 18, 2025

From a couple of bits of feedback after 1.0 release.

@asgrim asgrim self-assigned this Jun 18, 2025
@asgrim asgrim added the documentation Improvements or additions to documentation label Jun 18, 2025
@asgrim asgrim marked this pull request as ready for review June 18, 2025 11:24
Co-authored-by: Tim Düsterhus <timwolla@googlemail.com>
@asgrim asgrim added this to the 1.1.0 milestone Jun 23, 2025
@asgrim asgrim merged commit 357d0bf into php:main Jun 23, 2025
19 checks passed
@asgrim asgrim deleted the docs-improvements branch June 23, 2025 06:55
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