Re: [PATCH]: silencing compilation warning

[Willy TARREAU]

On Fri, Jun 01, 2018 at 12:40:04PM +0000, David CARLIER wrote:
> Sure the comment above is sufficiently explanatory anyway. Whatever suits
> you best.

OK now merged keeping David's authorship.

Thanks guys!
Willy