On 10/27/2017, 11:41 AM, Dmitry Vyukov wrote:
> And we only got 30 of such crashes overall, so it seems to be
> notoriously difficult to reproduce.

So this is a bug lasting for years, right?

thanks,
-- 
js
suse labs

Reply via email to