Skip to content

feat(common/core/web): engine correction-prep optimizations 🍒#5352

Merged
jahorton merged 10 commits intostable-14.0from
feat/common/core/web/cherry/correction-prep-optimizations
Jun 24, 2021
Merged

feat(common/core/web): engine correction-prep optimizations 🍒#5352
jahorton merged 10 commits intostable-14.0from
feat/common/core/web/cherry/correction-prep-optimizations

Conversation

@jahorton
Copy link
Copy Markdown
Contributor

A 🍒-pick of #5319.

@jahorton jahorton added this to the A15S7 milestone Jun 24, 2021
@github-actions github-actions bot added common/ common/core/ common/web/ cherry-pick Change already merged into another (stable) branch feat web/ labels Jun 24, 2021
@jahorton jahorton merged commit 91268ae into stable-14.0 Jun 24, 2021
@jahorton jahorton deleted the feat/common/core/web/cherry/correction-prep-optimizations branch June 24, 2021 05:50
@keyman-server
Copy link
Copy Markdown
Collaborator

Changes in this pull request will be available for download in Keyman version 14.0.277

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 common/web/ common/ feat web/

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants