On Fri, Dec 01, 2017 at 03:00:13PM +0000, David CARLIER wrote:
> Hi,
> 
> Here a little patch proposal to compile this function only when needed.

Good catch, thank you David, now merged and backported.

Willy

Reply via email to