Closed mrzmyr closed 2 years ago
Fixes #144
Thanks! You also showed me a new (or forgotten trick).
This is currently in draft, I can’t merge it.
Fixes #144