Thank you very much for doing this! A few notes after reviewing the corrections.
"Raphael Geissert" <[email protected]> writes: > + colocated collocated colocated is also correct in US English. I suspect this is a case, like publicly vs. publically, where the misspelling has become so common that it's now accepted, but colocate is in Merriam-Webster (although not the OED). > + discontiguous discontinuous These mean subtly different things. Someone using discontiguous probably means noncontiguous. If those corrections look okay, I can make them in Git. -- Russ Allbery ([email protected]) <http://www.eyrie.org/~eagle/> -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
