K 10
svn:author
V 8
deischen
K 8
svn:date
V 27
2003-07-30T13:28:05.000000Z
K 7
svn:log
V 169
Don't forget to unlock the scheduler lock.  Somehow this got removed
from one of my last commits.  This only affected priority ceiling
mutexes.

Pointy hat to:	deischen

END