Skip to content

Conversation

@jeremypw
Copy link
Contributor

@jeremypw jeremypw commented Dec 7, 2025

Bumped three outstanding PRs targeted to v7.2.0 to v7.2.1 rather than delay this release further.

@jeremypw jeremypw force-pushed the jeremypw/release-v7.2.0 branch from 5150402 to b52def7 Compare December 7, 2025 15:09
@danirabbit danirabbit moved this to Needs review in OS 8.1.0 Dec 7, 2025
@danirabbit danirabbit requested a review from a team December 7, 2025 18:00
@jeremypw jeremypw merged commit 3525b3f into main Dec 7, 2025
4 checks passed
@jeremypw jeremypw deleted the jeremypw/release-v7.2.0 branch December 7, 2025 22:47
@github-project-automation github-project-automation bot moved this from Needs review to Done in OS 8.1.0 Dec 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

No open projects
Status: Done

Development

Successfully merging this pull request may close these issues.

4 participants