paurkedal/bdwgc — comment on commit 00fb4f757a8fb395ca43f13ea0927e3bb58c0bef
File:  line 0
By paurkedal:

Thanks for the note, it's good you found it useful. Minor comment: I see you don't want to rely on the C99 header, but I don't think casting to (void *) is quite portable either, since in principle the thread ID may be an integer wider than a pointer, though I practice it is unlikely.