Closed DaveCTurner closed 6 years ago
Apropos of PR #10, but this is hopefully a clear way to implement it without changing anything.
Tidying up by closing some of my stale PRs. Sorry for the noise.
Apropos of PR #10, but this is hopefully a clear way to implement it without changing anything.