Closed bwignall closed 4 years ago
Anything I can do to help get this merged?
Sorry, missed this! If you could also add this to errata.md, it would be great!
@hmemcpy , this should now be done; if I should have put this elsewhere, please let me know.
Thank you very much!
Applied the script at https://github.com/bwignall/typochecker , and this was the only typo I found.