Closed wolenetz closed 2 years ago
@mwatson2 this is a trivial editorial fix. I plan to merge this in a couple days at latest to keep potential future merge conflict resolution simpler. Please review. Thanks!
@mwatson2 friendly ping - please review.
Fixes #287
Preview | Diff