Skip to content

chore: Remove unused import#6958

Merged
rjsparks merged 1 commit intoietf-tools:mainfrom
jennifer-richards:lint-fix
Jan 23, 2024
Merged

chore: Remove unused import#6958
rjsparks merged 1 commit intoietf-tools:mainfrom
jennifer-richards:lint-fix

Conversation

@jennifer-richards
Copy link
Copy Markdown
Member

No description provided.

@jennifer-richards jennifer-richards marked this pull request as draft January 23, 2024 13:49
@jennifer-richards jennifer-richards marked this pull request as ready for review January 23, 2024 14:03
@rjsparks rjsparks merged commit 7de8fec into ietf-tools:main Jan 23, 2024
@jennifer-richards jennifer-richards deleted the lint-fix branch January 23, 2024 15:18
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Jan 27, 2024
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