Skip to content

Conversation

@mheffner
Copy link
Contributor

@mheffner mheffner commented Sep 7, 2021

@mheffner mheffner added the type: chore work needed to keep the product and development running smoothly label Sep 7, 2021
Copy link

@pcn pcn left a comment

Choose a reason for hiding this comment

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

LGTM

@mheffner mheffner merged commit b7cd6a8 into master Sep 8, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: chore work needed to keep the product and development running smoothly

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants