On Thu, Nov 5, 2020 at 10:47 AM Ranier Vilela <ranier(dot)vf(at)gmail(dot)com> wrote:
> Em ter., 3 de nov. de 2020 às 22:09, Kyotaro Horiguchi <horikyota(dot)ntt(at)gmail(dot)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.