Skip to content

chore(linux): Update debian changelog 🍒#15282

Merged
ermshiperete merged 1 commit intomasterfrom
chore/linux/cherry-pick/changelog
Dec 9, 2025
Merged

chore(linux): Update debian changelog 🍒#15282
ermshiperete merged 1 commit intomasterfrom
chore/linux/cherry-pick/changelog

Conversation

@ermshiperete
Copy link
Copy Markdown
Contributor

Cherry-pick-of: #15281
Build-bot: skip
Test-bot: skip

(cherry picked from commit 4f513a7)
@github-project-automation github-project-automation bot moved this to Todo in Keyman Dec 4, 2025
@github-actions github-actions bot added linux/ cherry-pick Change already merged into another (stable) branch chore labels Dec 4, 2025
@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 A19S17 milestone Dec 4, 2025
@ermshiperete ermshiperete marked this pull request as ready for review December 4, 2025 18:12
@keyman-server keyman-server modified the milestones: A19S17, A19S18 Dec 6, 2025
@ermshiperete ermshiperete merged commit 299254e into master Dec 9, 2025
7 checks passed
@ermshiperete ermshiperete deleted the chore/linux/cherry-pick/changelog branch December 9, 2025 11:32
@github-project-automation github-project-automation bot moved this from Todo to Done in Keyman Dec 9, 2025
@keyman-server
Copy link
Copy Markdown
Collaborator

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

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

Labels

cherry-pick Change already merged into another (stable) branch chore linux/

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants