On Thu,  1 Dec 2016 23:36:00 +0800
Sanjeev <gha...@gmail.com> wrote:

> This corrects a set of spelling mistakes, probably from an
> automated conversion.

That does indeed seem worth fixing.  Applied to the docs tree, thanks.

jon

Reply via email to