Skip to content

Conversation

@rderbier
Copy link
Collaborator

@rderbier rderbier commented Dec 19, 2022

last cherry pick was not the latest version of glossary.
Took the right commit for this one.

Copy link
Contributor

@damonfeldman damonfeldman left a comment

Choose a reason for hiding this comment

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

Looking good.

@rderbier rderbier merged commit 004bba5 into release/v22.0 Jan 13, 2023
@rderbier rderbier deleted the cherry-pick/v22.0/glossary-update branch January 13, 2023 00:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants