Skip to content

Conversation

tianon
Copy link
Member

@tianon tianon commented Jul 21, 2025

Opening as a draft so it's ready when the GA drops (so it can be merged/published with minimal friction at release time).

@tianon tianon force-pushed the 6.0 branch 3 times, most recently from efd3317 to e0d496f Compare July 28, 2025 16:54
@JoeeGrigg JoeeGrigg marked this pull request as ready for review August 4, 2025 06:57
@JoeeGrigg JoeeGrigg requested a review from ErisDS August 4, 2025 06:57
@JoeeGrigg
Copy link
Collaborator

Whilst trying to get this merged it seems permissions got a little confused on Github and wouldn't let me merge after requesting a review. I since made a new PR with these changes which has now been merged. Closing this one off.

@JoeeGrigg JoeeGrigg closed this Aug 4, 2025
@tianon tianon deleted the 6.0 branch August 4, 2025 20:14
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.

3 participants