Skip to content

Conversation

@Brunner-Leo
Copy link
Contributor

No description provided.

@Brunner-Leo Brunner-Leo requested a review from m-herold August 16, 2021 20:04
@m-herold
Copy link
Member

Is not needed anymore after #73 has been merged.

@m-herold m-herold closed this Aug 17, 2021
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