Skip to content

feat: Use author-tools for iddiff instead of rfcdiff at www#4834

Merged
rjsparks merged 1 commit into
ietf-tools:mainfrom
rjsparks:rfcdiff
Dec 6, 2022
Merged

feat: Use author-tools for iddiff instead of rfcdiff at www#4834
rjsparks merged 1 commit into
ietf-tools:mainfrom
rjsparks:rfcdiff

Conversation

@rjsparks

@rjsparks rjsparks commented Dec 5, 2022

Copy link
Copy Markdown
Member

No description provided.

@rjsparks
rjsparks merged commit ebcaa42 into ietf-tools:main Dec 6, 2022
@rjsparks
rjsparks deleted the rfcdiff branch December 6, 2022 14:48
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Dec 11, 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