Skip to content

Patch ink#502

Merged
rugvedS07 merged 4 commits into
mainfrom
rugved/patch-ink
Dec 24, 2025
Merged

Patch ink#502
rugvedS07 merged 4 commits into
mainfrom
rugved/patch-ink

Conversation

@rugvedS07

@rugvedS07 rugvedS07 commented Dec 23, 2025

Copy link
Copy Markdown
Member

Overview

Looks like the 'delete' bug in ink is due to avoidance of a breaking change. We patch ink to fix it and

Depends on lmstudio-ai/lms#403 as it implements the delete key logic

@github-actions github-actions Bot added the CLA signed Indicates if all contributors have signed the CLA label Dec 23, 2025
@rugvedS07 rugvedS07 marked this pull request as ready for review December 23, 2025 22:23
@rugvedS07

Copy link
Copy Markdown
Member Author

Needs the lms PR merged as well lmstudio-ai/lms#403

@rugvedS07 rugvedS07 merged commit 5be476f into main Dec 24, 2025
1 check passed
@rugvedS07 rugvedS07 deleted the rugved/patch-ink branch December 24, 2025 19:23
@github-actions github-actions Bot locked and limited conversation to collaborators Dec 24, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

CLA signed Indicates if all contributors have signed the CLA

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants