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
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