On Thu, Nov 5, 2020 at 10:47 AM Ranier Vilela <ranier...@gmail.com> wrote: > Em ter., 3 de nov. de 2020 às 22:09, Kyotaro Horiguchi > <horikyota....@gmail.com> escreveu: >> If we call WaitLatch(OrSocket) that waits on the latch, it immediately >> returns because the latch is set. If we called ResetLatch before the >> next call to WaitLatch(), it correctly waits on a trigger to be >> pulled. > > +1 > The patch for me is syntactically equal to the code changed and > avoids the dereference.
Thanks! Pushed.