K 10
svn:author
V 3
bde
K 8
svn:date
V 27
1996-03-27T17:43:38.000000Z
K 7
svn:log
V 111
Say what happens to the buffer when fgets() returns NULL.

Fixed bogus cross references and a misordered line.

END