Closed shoeffner closed 5 years ago
GitHub will let me add and edit files, but won't let me merge this pull request. It says "Only those with write access to this repository can merge pull requests." and there is no "accept" or "merge" button visible to me.
@mwhite14850, can you accept this PR?
Ok, done
This PR
Please refer to #16 for an extensive discussion.
This closes #16.