[PING] [PATCH 00/37] Manual typos: Overview

[Siddhesh Poyarekar]

On Thursday 06 October 2016 11:20 AM, Siddhesh Poyarekar wrote:
> On Thursday 06 October 2016 02:40 AM, Rical Jasan wrote:
>> ping^6
>>
>> I know they're trivial, but it would be nice if these weren't left
>> half-committed.
> 
> I'll look at them later today.

I have pushed all of the patches.  26/37 had issues with merging because
a couple of hunks had changed, but I fixed those up before pushing them.

Thank you for your attention to detail and apologies for the delay!

Siddhesh