Closed palant closed 1 week ago
These changes are pretty straightforward, see #234 for the rationale.
Merged as 05005e2
These changes are pretty straightforward, see #234 for the rationale.