Skip to content

pin php 8.5 version of the library to 8.5's release date#710

Merged
shish merged 1 commit intomasterfrom
pr710
Jan 31, 2026
Merged

pin php 8.5 version of the library to 8.5's release date#710
shish merged 1 commit intomasterfrom
pr710

Conversation

@shish
Copy link
Collaborator

@shish shish commented Jan 31, 2026

8.6 is changing the format of the docs quite a bit - now that 8.5 is released and ongoing work is aiming for 8.6, we should stop assuming master==8.5

@shish shish force-pushed the pr710 branch 3 times, most recently from b9087c2 to 56f71ef Compare January 31, 2026 11:24
8.6 is changing the format of the docs quite a bit - now that 8.5 is released and ongoing work is aiming for 8.6, we should stop assuming master==8.5
@shish shish merged commit 640679f into master Jan 31, 2026
19 checks passed
@shish shish deleted the pr710 branch March 3, 2026 12:21
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.

1 participant