Skip to content

maint(resources): use correct version for PR title for history cherry-pick#14610

Merged
mcdurdin merged 1 commit intomasterfrom
maint/resources/use-correct-version-for-pr-history-cherry-pick
Aug 27, 2025
Merged

maint(resources): use correct version for PR title for history cherry-pick#14610
mcdurdin merged 1 commit intomasterfrom
maint/resources/use-correct-version-for-pr-history-cherry-pick

Conversation

@mcdurdin
Copy link
Copy Markdown
Member

Build-bot: skip
Test-bot: skip

@keymanapp-test-bot
Copy link
Copy Markdown

User Test Results

Test specification and instructions

User tests are not required

@keymanapp-test-bot keymanapp-test-bot bot added this to the A19S10 milestone Aug 27, 2025
@github-actions github-actions bot added resources/ maint Maintenance work -- continuous integration, build scripts, infrastructure labels Aug 27, 2025
Copy link
Copy Markdown
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 8d74be3 into master Aug 27, 2025
7 checks passed
@mcdurdin mcdurdin deleted the maint/resources/use-correct-version-for-pr-history-cherry-pick branch August 27, 2025 14:54
@github-project-automation github-project-automation bot moved this from Todo to Done in Keyman Aug 27, 2025
@keyman-server
Copy link
Copy Markdown
Collaborator

Changes in this pull request will be available for download in Keyman version 19.0.106-alpha

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maint Maintenance work -- continuous integration, build scripts, infrastructure resources/

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants