Skip to content

Conversation

@rudimatz
Copy link
Contributor

No description provided.

@rudimatz rudimatz requested a review from rjsparks November 18, 2025 20:27
@rjsparks rjsparks changed the title fix: remove deprecated ext vscodeintellicode fix(dev): remove deprecated ext vscodeintellicode Nov 18, 2025
@rjsparks rjsparks merged commit a007f50 into ietf-tools:main Nov 18, 2025
2 checks passed
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Nov 22, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants