Skip to content

Conversation

@ernstkl
Copy link

@ernstkl ernstkl commented Aug 5, 2021

if #48 or the start.sh part of #48 is merged, this PR is obsolete, of course

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant