Closed thomas-fossati closed 4 weeks ago
Fix #87
@henkbirkholz @hannestschofenig, please review
Since Ned has already approved and there was no pushback, I'll merge this.
Fix #87