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

Fri, 23 Jan 2015 01:57:07 -0800 

l...@gnu.org (Ludovic Courtès) skribis:

> OK to push with these changes, thank you!

Ping!  :-)

Ludo’.

Reply via email to