Closed TWiStErRob closed 7 months ago
@TimvdLippe rebased to resolve conflict, ready for review. Recommended commit by commit, only the last one has a lot of (whitespace) changes, the rest are tiny.
This looks good to me, do you mind rebasing again as I just merged your other PR?
Merged in and resolved the conflict
(Merge shows what changes more trivially than rebase, if you open it on GH)
Thank you for submitting a pull request! But first:
Existing tests should cover everything, most changes in this PR are only for human readers.