On Mon, Apr 4, 2016 at 9:44 PM, Etienne Prud'homme 
<e.e.f.prudhomme@gmail.com> wrote:
> Thanks for pointing me that out. Could you fix it, since it’s the 
> first
> time I contribute to a GNU project and I’m not sure how to do it?
> 
> Best regards,

No problem. Fixed and installed in master.

Thanks again!

-- Simen