K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2009-11-16T06:12:49.666613Z
K 7
svn:log
V 174
Fix AST delivery -- td_flags is a 32-bit quantity. There is still a
strange bug where the first time the userland thread is switched out,
it is never again switched back in.

END