some fixes #6

Merged
heinzel merged 2 commits from heinzel into master 2019-10-24 14:49:15 +02:00
Owner
No description provided.
heinzel closed this pull request 2019-10-24 14:49:14 +02:00
heinzel deleted branch heinzel 2019-10-24 14:49:23 +02:00
Sign in to join this conversation.