Daniel-Constantin Mierla writes: > hopefully this is fixed by a recent commit, which is in master only for > the moment: daniel, i tested and, yes, the commit to master fixed the problem. i'll cherry pick it to 3.2. -- juha