j
k
j a
j l
I think Giovanni's point is to use gettid() on non-Windows platforms? It does seem like it shouldn't block this patch.
Agree to both.
Back to the thread
Back to the list