On Sun, 25 Aug 1996, joost witteveen wrote: > I'm closing this bug, as I cannot do anything about it, and > the upstream maintainer doesn't care. Those aren't appropriate reasons for closing bugs. Hopefully one day the bug will really be resolved. (reopening the bug) Guy