Closed gpestre closed 4 years ago
This PR would fix #87 Alternatively, we can follow the suggestion in #77 using PR #89 (but don't merge both!)
@johannes-kk you get to choose :)
This PR would fix #87 Alternatively, we can follow the suggestion in #77 using PR #89 (but don't merge both!)
@johannes-kk you get to choose :)