Skip to content

Conversation

@znz
Copy link
Member

@znz znz commented May 16, 2022

No description provided.

@marcandre marcandre merged commit 71a876a into master May 16, 2022
@marcandre marcandre deleted the znz-patch-1 branch May 16, 2022 14:42
@marcandre
Copy link
Member

Indeed, thanks!

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