Skip to content

fix: Search for docalias, not document#3635

Merged
rjsparks merged 2 commits into
ietf-tools:feat/bs5from
larseggert:fix-3605
Mar 14, 2022
Merged

fix: Search for docalias, not document#3635
rjsparks merged 2 commits into
ietf-tools:feat/bs5from
larseggert:fix-3605

Conversation

@larseggert

Copy link
Copy Markdown
Collaborator

Fixes #3605.

@rjsparks
rjsparks merged commit 323d890 into ietf-tools:feat/bs5 Mar 14, 2022
@larseggert
larseggert deleted the fix-3605 branch March 14, 2022 18:20
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Jun 16, 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