K 10
svn:author
V 6
karels
K 8
svn:date
V 27
1984-12-20T15:32:26.000000Z
K 24
svn:entry:committed-date
V 27
1984-12-20T15:32:26.000000Z
K 7
svn:log
V 96
invalidate after making rpb writable; resume needs ipl 31 if anyone
ever switches at ipl > 18.


END
