K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2003-06-04T20:38:54.000000Z
K 7
svn:log
V 167
Make this compile without warnings on 64-bit architectures:
Don't cast thread_self() to int. Cast to uintptr_t. Pull in the
predefined printf format from <inttypes.h>

END