Re: [patch] fix the grammar of some comment lines

[Pádraig Brady]

On 04/01/15 10:48, Benno Schulenberg wrote:
> 
> Hi,
> 
> Looking at propernam(), I noticed a few tiny grammar mistakes
> in the comments.  Attached patch fixes those.

Pushed,

thanks,
Pádraig.