On Fri, Aug 17, 2018 at 01:41:54PM +0200, Olivier Houchard wrote: > That is true, this one is not a bug, but a pessimization, by using the global > update_list which is more costly than the local one. > > Patches attached to do as suggest.
Applied, thank you! willy
