|
| From: | Richard Stallman |
| 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] |