Closed rokgregoric closed 5 years ago
Fixes #54.
done.
@bahlo Can we merge this?
There is still an open review question but since it‘s not affecting functionality I will merge now.
Fixes #54.