GitHub <noreply at github.com>
Greg Colvin <greg at colvin.org>
remove appendix (#3316) * remove appendix * remove appendix - typos
GitHub Diff