Skip to content

Conversation

@nickvergessen
Copy link
Member

Signed-off-by: Joas Schilling [email protected]

@nickvergessen nickvergessen marked this pull request as ready for review August 16, 2022 11:52
@nickvergessen nickvergessen merged commit 6f5e565 into master Aug 16, 2022
@delete-merged-branch delete-merged-branch bot deleted the nickvergessen-patch-2 branch August 16, 2022 11:52
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.

2 participants