K 10
svn:author
V 6
julian
K 8
svn:date
V 27
2002-10-14T20:34:31.000000Z
K 7
svn:log
V 97
Tidy up the scheduler's code for changing the priority of a thread.
Logically pretty much a NOP.

END