Closed davidlehn closed 8 years ago
Nice catches - thanks! I am reluctant to just merge since this PR is across multiple documents for which I only have control of one. Thoughts @dlongley ?
I'm good with the changes, they're syntax fixes, please pull the PR when ready @halindrome.
Nice catches - thanks! I am reluctant to just merge since this PR is across multiple documents for which I only have control of one. Thoughts @dlongley ?