K 10
svn:author
V 7
wollman
K 8
svn:date
V 27
1995-06-29T19:45:46.000000Z
K 7
svn:log
V 97
Fix a bug I didn't manage to trigger until after committing previous
fix to header installation.

END