On (01/04/17 11:24), Willem de Bruijn wrote: > > Oh, good point. It may require some more refactoring. Feel free to > leave it for me if you prefer.
actually it may not be so bad, let me do it, since I already have a reliable way of reproducing this.. --Sowmini
