I also had a branch which fixed some of these but that I hadn't proposed for merging yet...
Anyway, yours is more thorough so let's merge that.
« Back to merge proposal
I also had a branch which fixed some of these but that I hadn't proposed for merging yet...
Anyway, yours is more thorough so let's merge that.