K 10
svn:author
V 5
joerg
K 8
svn:date
V 27
1996-07-05T13:39:18.000000Z
K 7
svn:log
V 93
The old patch did no longer apply.  Apparently, the distfile has
been changed on the server.

END