Skip to content

fix:no history entry when changing RFC Editor note for doc#6021

Merged
rjsparks merged 2 commits intoietf-tools:mainfrom
PriyankaGitCom:fix-history-entry
Jul 23, 2023
Merged

fix:no history entry when changing RFC Editor note for doc#6021
rjsparks merged 2 commits intoietf-tools:mainfrom
PriyankaGitCom:fix-history-entry

Commits

Commits on Jul 22, 2023