21 Nov
2019
21 Nov
'19
1:42 p.m.
On Thu, Nov 21, 2019 at 5:03 AM Logforme m7527@abc.se wrote: [...]
Should I open a ticket?
Very interesting! Yes, a ticket would be welcome. Actually, this _might_ be the same as #16423 , which stalled a while ago due to difficulty reproducing. But I'm not quite sure: that ticket is very old, and the code has changed a lot since then.
Other questions to answer on the ticket are: * is there anything interesting in your configuration?