Closed adlai closed 3 years ago
Excellent! Thanks
Thank you for merging the PR, @mbattyani ; it appears that I didn't get the GitHub metadata correct, so it did not automatically close Issue #18 that can probably be closed now.
Hey Adlai, I think that text is clear enough but feel free to change it if you prefer
There are also a handful of minor nuisances in the same commit; and merging this should close Issue #18