Skip to content

maint(common): update HISTORY.md for 18.0.241#14780

Merged
mcdurdin merged 1 commit intomasterfrom
maint/common/18.0.241-HISTORY
Sep 18, 2025
Merged

maint(common): update HISTORY.md for 18.0.241#14780
mcdurdin merged 1 commit intomasterfrom
maint/common/18.0.241-HISTORY

Conversation

@mcdurdin
Copy link
Copy Markdown
Member

Test-bot: skip
Build-bot: skip
Relates-to: #14779

Test-bot: skip
Build-bot: skip
Relates-to: #14779
@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 A19S12 milestone Sep 18, 2025
@github-actions github-actions bot added common/ maint Maintenance work -- continuous integration, build scripts, infrastructure labels Sep 18, 2025
@mcdurdin mcdurdin merged commit 430cac2 into master Sep 18, 2025
7 checks passed
@mcdurdin mcdurdin deleted the maint/common/18.0.241-HISTORY branch September 18, 2025 08:52
@github-project-automation github-project-automation bot moved this from Todo to Done in Keyman Sep 18, 2025
@keyman-server
Copy link
Copy Markdown
Collaborator

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

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

Labels

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

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants