Skip to content

Conversation

timofurrer
Copy link
Member

Copy link
Collaborator

@armsnyder armsnyder left a comment

Choose a reason for hiding this comment

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

lgtm!

@RicePatrick
Copy link
Collaborator

same here!

@timofurrer timofurrer merged commit 31bd538 into main Oct 24, 2022
@github-actions github-actions bot locked and limited conversation to collaborators Nov 9, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Development

Successfully merging this pull request may close these issues.

4 participants