K 10
svn:author
V 3
mpp
K 8
svn:date
V 27
1996-12-09T16:50:39.000000Z
K 7
svn:log
V 118
Change another reference to host names to domain names, and restore some
changes that were lost.

Pointed out by: bde

END