On Sat, Aug 11, 2018 at 05:09:58PM +0200, Chris Hofstaedtler wrote:
> Do you still see this in current versions?

No, have not seen this occur again like this that I can recall;
we would have followed up to this bug if we had.
I think this bug can probably be closed, the code has improved
enormously since this occurred and nobody else seems to have hit it.

Kind regards

Reply via email to