Skip to content

chore: add client mapping info to glossary#186

Merged
toddbaert merged 3 commits intomainfrom
justinabrahms-patch-1
May 4, 2023
Merged

chore: add client mapping info to glossary#186
toddbaert merged 3 commits intomainfrom
justinabrahms-patch-1

Conversation

@justinabrahms
Copy link
Copy Markdown
Member

Comment thread specification/glossary.md Outdated
@toddbaert toddbaert self-requested a review May 3, 2023 20:13
Copy link
Copy Markdown
Member

@toddbaert toddbaert left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't think we need to wait for the full 5 approvals on this one. Once the CI finishes I'm fine with you force-merging, since this is non-normative and explanatory stuff.

Co-authored-by: Todd Baert <[email protected]>
Signed-off-by: Justin Abrahms <[email protected]>
Comment thread specification/glossary.md Outdated
Signed-off-by: Michael Beemer <[email protected]>
@toddbaert
Copy link
Copy Markdown
Member

Force merging this (editorial change).

@toddbaert toddbaert changed the title add client mapping info to glossary chore: add client mapping info to glossary May 4, 2023
@toddbaert toddbaert merged commit b50883c into main May 4, 2023
@toddbaert toddbaert deleted the justinabrahms-patch-1 branch May 4, 2023 11:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants