Closed jakobbraun closed 4 years ago
fixes #61
this PR should probably not get merged in favour of #65
Fixed in #73
fixes #61