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

[Rical Jasan]

On 10/06/2016 12:13 AM, Siddhesh Poyarekar wrote:
> 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!

Thank you!

Rical