Closed dhh1128 closed 1 year ago
Fixes #42
Nobody has objected to this PR, and it's editorial anyway, so I'm going to merge.
Fixes #42