Skip to content

Conversation

@mcdurdin
Copy link
Member

Build-bot: skip
Test-bot: skip

@github-project-automation github-project-automation bot moved this to Todo in Keyman Dec 23, 2025
@github-actions github-actions bot added resources/ maint Maintenance work -- continuous integration, build scripts, infrastructure labels Dec 23, 2025
@keymanapp-test-bot
Copy link

User Test Results

Test specification and instructions

User tests are not required

@keymanapp-test-bot keymanapp-test-bot bot added this to the A19S19 milestone Dec 23, 2025
@keyman-server keyman-server modified the milestones: A19S19, A19S20 Jan 3, 2026
Copy link
Contributor

@ermshiperete ermshiperete 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 a28975d into master Jan 7, 2026
7 checks passed
@mcdurdin mcdurdin deleted the maint/get-stable-version-report branch January 7, 2026 04:36
@github-project-automation github-project-automation bot moved this from Todo to Done in Keyman Jan 7, 2026
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

Status: Done

Development

Successfully merging this pull request may close these issues.

4 participants