On Mon, 7 Dec 2015 15:31:32 +0100 Christian Neukirchen <chneukirchen@xxxxxxxxx> wrote: > I have one valgrid run, I shall test your patch soon: That certainly looks consistent with what I think I've fixed. Change now pushed. pws