Re: [PATCHv2] lint: add 'source' checker.

[Cyril Roelandt]

On 01/23/2015 10:56 AM, Ludovic Courtès wrote:
> l...@gnu.org (Ludovic Courtès) skribis:
> 
>> OK to push with these changes, thank you!
> 
> Ping!  :-)
> 

Done in 17a7b75c0f727cd7c32b156d8a9235a2009a248f .


Cyril.