Closed gavanderhoorn closed 3 years ago
As per subject.
Easier to review with whitespace diffing disabled.
Replaces #196 (conflicts) and #200 (already closed).
Addresses #141.
No functional changes, previous PRs both reviewed, green CI: merging without additional review.
As per subject.
Easier to review with whitespace diffing disabled.
Replaces #196 (conflicts) and #200 (already closed).
Addresses #141.