On Fri, Jan 20, 2017 at 2:52 PM, Dmitry Vyukov <dvyu...@google.com> wrote: > > This works! I did not see the deadlock warning, nor any other related crashes. > > Tested-by: Dmitry Vyukov <dvyu...@google.com>
Thanks for verifying it. I will send it out formally soon.