Skip to content

chore(linux): Update debian changelog 🍒#10121

Merged
ermshiperete merged 1 commit intomasterfrom
chore/linux/cherry-pick/changelog
Dec 5, 2023
Merged

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

Conversation

@ermshiperete
Copy link
Copy Markdown
Contributor

(cherry picked from commit e4385e2)
@keymanapp-test-bot
Copy link
Copy Markdown

keymanapp-test-bot bot commented Dec 1, 2023

User Test Results

Test specification and instructions

User tests are not required

Test Artifacts

@keymanapp-test-bot keymanapp-test-bot bot added this to the A17S27 milestone Dec 1, 2023
@github-actions github-actions bot added linux/ cherry-pick Change already merged into another (stable) branch chore labels Dec 1, 2023
@ermshiperete ermshiperete marked this pull request as ready for review December 4, 2023 08:47
@ermshiperete ermshiperete merged commit 5a8f68a into master Dec 5, 2023
@ermshiperete ermshiperete deleted the chore/linux/cherry-pick/changelog branch December 5, 2023 08:16
@keyman-server
Copy link
Copy Markdown
Collaborator

Changes in this pull request will be available for download in Keyman version 17.0.224-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

None yet

Development

Successfully merging this pull request may close these issues.

3 participants