You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I suspect it's a race between process exit and the termination of worker threads, and thus not a serious problem, but it should probably be investigated. For now I'm going to add a valgrind suppression.