Skip to content

fix(web): prevent insert-delete edit sequences from aliasing as substitution edits 🚂#15399

Merged
jahorton merged 1 commit intoepic/autocorrectfrom
fix/web/prevent-insdel-sub-aliasing
Jan 22, 2026
Merged

fix(web): prevent insert-delete edit sequences from aliasing as substitution edits 🚂#15399
jahorton merged 1 commit intoepic/autocorrectfrom
fix/web/prevent-insdel-sub-aliasing

Conversation

@jahorton
Copy link
Contributor

@jahorton jahorton commented Jan 6, 2026

Build-bot: skip build:web
Test-bot: skip

@keymanapp-test-bot
Copy link

keymanapp-test-bot bot commented Jan 6, 2026

User Test Results

Test specification and instructions

User tests are not required

@keymanapp-test-bot keymanapp-test-bot bot changed the title fix(web): prevent insert-delete edit sequences from aliasing as substitution edits fix(web): prevent insert-delete edit sequences from aliasing as substitution edits 🚂 Jan 6, 2026
@keymanapp-test-bot keymanapp-test-bot bot added this to the A19S20 milestone Jan 6, 2026
@jahorton jahorton force-pushed the fix/web/prevent-insdel-sub-aliasing branch from b277570 to 39487e0 Compare January 6, 2026 22:08
…itution edits

Build-bot: skip build:web
Test-bot: skip
@jahorton jahorton force-pushed the change/web/remove-duplicate-path-filtering branch from 0bc1f96 to 4f98dbf Compare January 9, 2026 17:03
@jahorton jahorton force-pushed the fix/web/prevent-insdel-sub-aliasing branch from 578cfdc to bfad3ef Compare January 9, 2026 17:12
@jahorton jahorton marked this pull request as ready for review January 14, 2026 21:27
@keyman-server keyman-server modified the milestones: A19S20, A19S21 Jan 16, 2026
Base automatically changed from change/web/remove-duplicate-path-filtering to epic/autocorrect January 22, 2026 14:07
@jahorton jahorton merged commit c57bd06 into epic/autocorrect Jan 22, 2026
7 of 8 checks passed
@jahorton jahorton deleted the fix/web/prevent-insdel-sub-aliasing branch January 22, 2026 14:07
@github-project-automation github-project-automation bot moved this from Todo to Done in Keyman Jan 22, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants