Re: Bug in Info reader 4.7

[Stepan Kasal]

Hello,

On Tue, Apr 27, 2004 at 05:33:09PM +0200, DervishD wrote:
>     Well, since you have not been able to reproduce the problem it
> must be my fault.

no, I think it could be a bug in info, eg. an uninitialized variable.
But it may as well be a bug in your make.info* files.

Because the bug is hard to reproduce, it can probably be caught only on
your machine.  Perhaps it's not worth the huge effort, though, and we
should let it be.

Thanks,
        Stepan