Jeroen Van den Keybus wrote:
And now, Ladies and Gentlemen, with the patches attached.
I've installed both patches and the problem seems to have disappeared.
I'll try it on another machine tomorrow, too. Meanwhile: thanks very
much for the assistance !
Actually, the effort you made to provide a streamlined testcase that triggered the
bug did most of the job, so you are the one to thank here. The rest was only a
matter of dealing with my own bugs, which is a sisyphean activity I'm rather