|Subject:||Re: Indices in Info.|
|Date:||Wed, 25 Jun 2003 15:53:01 -0400|
I believe that the bug was a badly initialized while loop in `Info-extract-menu-node-name'. I would like to commit the following patch, which takes care of these problems. Is this OK? If nobody reports problems with it in 2 days, please install it.
|[Prev in Thread]||Current Thread||[Next in Thread]|