Closed tammojan closed 4 years ago
Fixes #186
I think the failing CI is unrelated to this fix (which is straightforward).
Fixes #186