K 10
svn:author
V 3
jdp
K 8
svn:date
V 27
1997-07-07T20:50:22.000000Z
K 7
svn:log
V 75
Merge from main branch 1.58 -> 1.59: fix for PR kern/3998.

PR:		kern/3998

END