Closed n2jn closed 7 years ago
Fixes #131
We can leave this as-is and take it into account in #144 too. Your call.
@FokkeZB ready to merge (if there is no more changes to make).
@FokkeZB please approve
Fixes #131