Skip to content

fix: Fix removetags#4226

Merged
rjsparks merged 1 commit into
ietf-tools:mainfrom
larseggert:fix-removetags
Jul 18, 2022
Merged

fix: Fix removetags#4226
rjsparks merged 1 commit into
ietf-tools:mainfrom
larseggert:fix-removetags

Conversation

@larseggert

Copy link
Copy Markdown
Collaborator

I don't think this ever worked.

I don't think this ever worked.
@rjsparks rjsparks merged commit 0038151 into ietf-tools:main Jul 18, 2022
@rjsparks

Copy link
Copy Markdown
Member

We really should start adding unit-tests for these kinds of functions

@larseggert larseggert deleted the fix-removetags branch July 18, 2022 16:15
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Jul 22, 2022
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