Closed willkg closed 3 years ago
This fixes part of #83, but doesn't fix the lack of git tags.
Is this helpful? If not, I'll close it out so it doesn't clutter the PR queue.
This fixes part of #83, but doesn't fix the lack of git tags.