Closed andrewkern closed 1 year ago
a few edits in here
feel free to take them or leave them @petrelharp
this commit got put in to #293
a few edits in here