K 10
svn:author
V 6
karels
K 8
svn:date
V 27
1986-02-23T19:08:15.000000Z
K 24
svn:entry:committed-date
V 27
1986-02-23T19:08:15.000000Z
K 7
svn:log
V 40
splx need not return previous priority


END
