Skip to content

Conversation

@mcdurdin
Copy link
Member

@mcdurdin mcdurdin commented May 5, 2025

No description provided.

@mcdurdin mcdurdin added this to the A19S2 milestone May 5, 2025
@mcdurdin mcdurdin added the chore label May 5, 2025
@mcdurdin mcdurdin changed the title chore: v0.22 maint: v0.22 May 5, 2025
@mcdurdin mcdurdin added maint and removed chore labels May 5, 2025
@mcdurdin mcdurdin requested a review from darcywong00 May 5, 2025 05:20
Copy link
Contributor

@darcywong00 darcywong00 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@mcdurdin mcdurdin merged commit 5e4b611 into master May 9, 2025
3 checks passed
@mcdurdin mcdurdin deleted the chore/v0.22 branch May 9, 2025 02:21
@github-project-automation github-project-automation bot moved this to Done in Keyman May 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants