Skip to content

fix: Remove unused workspace termlens dependency pin - #169

Merged
vyncint merged 1 commit into
vyncint:mainfrom
VedantMadane:fix/issue-162
Aug 25, 2026
Merged

fix: Remove unused workspace termlens dependency pin#169
vyncint merged 1 commit into
vyncint:mainfrom
VedantMadane:fix/issue-162

Conversation

@VedantMadane

Copy link
Copy Markdown
Contributor

Summary

Remove unused workspace termlens dependency pin

Changes

  • Remove unused workspace.dependencies.termlens pin (was 0.6.0 vs package 0.6.1)

Fixes #162

- Remove unused workspace.dependencies.termlens pin (was 0.6.0 vs package 0.6.1)

Fixes vyncint#162

Signed-off-by: Vedant Madane <6527493+VedantMadane@users.noreply.github.com>
@VedantMadane
VedantMadane requested a review from vyncint as a code owner August 25, 2026 01:26
@vyncint
vyncint merged commit 2108677 into vyncint:main Aug 25, 2026
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

The workspace termlens dependency is unused and pinned to a version we have already left behind

2 participants