Re: [PATCH] maint: fix alphabetical order in .gitignore

[Bernhard Voelker]

On 01/11/2013 04:52 PM, Bernhard Voelker wrote:

> I've folded it in a more general form into the attached new
> version of the patch [...]

Shall I push?

Have a nice day,
Berny