Closed proftomwbell closed 5 years ago
I don't think you want to be re-merging the 6 commits from my branch. Let me know if you need assistance creating a new branch from master for your changes.
OK to close this one without merging?
Have at it, please. Sorry for the delayed response.
OK closing this PR without merging under the assumption that the change under review was already committed
Because footnote 1 was not conveying useful info, I deleted it in the base version and re-numbered the other notes accordingly. Not being sure you would otherwise get notice of that minor change, I figured a pull request might serve.