Skip to content
This repository was archived by the owner on Jun 21, 2022. It is now read-only.

Conversation

@moseschmiedel
Copy link
Collaborator

@moseschmiedel moseschmiedel commented May 17, 2022

This branch is not quite ready yet, but this PR is used to demonstrate the Pull Request feature of GitHub.

#36 will become invalid

@moseschmiedel moseschmiedel requested a review from dboehmer May 17, 2022 15:46
@moseschmiedel moseschmiedel added the blocked can't be solved because of other issue label May 17, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

blocked can't be solved because of other issue

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants