Close #13 #19

Merged
heinzel merged 1 commits from heinzel into master 2020-10-13 12:38:33 +02:00