I've read v8, though I haven't tested it.
The recheck in RegisterPinCountWaiter() closes the window I described.
I also think 0002 is worth keeping.

-- 
JH Shin

Reply via email to