|
| From: | GNU bug tracker automated control server |
| Subject: | [debbugs-tracker] Processed: Re: bug#14125: 24.3; "No such node or anchor: Top" for Info files created by makeinfo 5.1 |
| Date: | Sat, 24 Aug 2013 19:45:03 -0400 |
Processing commands for address@hidden:
> unarchive 14125
Bug #14125 {Done: Juri Linkov <address@hidden>} [emacs] 24.3; "No such node or
anchor: Top" for Info files created by makeinfo 5.1
Unarchived bug 14125
> thanks
Stopping processing here.
Please contact address@hidden if you need assistance.
GNU bugs database, http://debbugs.gnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |