On Thu, 1 Dec 2016 23:36:00 +0800 Sanjeev <[email protected]> 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
On Thu, 1 Dec 2016 23:36:00 +0800 Sanjeev <[email protected]> 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