On Sun, Feb 10, 2019 at 11:05 PM Nikolaus Rath <Nikolaus@xxxxxxxx> wrote: > Bad news. I can now reliably reproduce the issue again. A reliable reproducer is always good news. Are the messages exactly the same as last time (value of flags, etc)? Thanks, Miklos