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,-- jssuse labs