GNU bug report logs - #58892
29.0.50; [PATCH] eglot-manual: Open the local info documentation

Previous Next

Full log

Message #31 received at 58892-done <at> debbugs.gnu.org (full text, mbox):

From: Stefan Kangas <stefankangas <at> gmail.com>
To: João Távora <joaotavora <at> gmail.com>
Cc: 58892-done <at> debbugs.gnu.org, Eli Zaretskii <eliz <at> gnu.org>,
 Felician Nemeth <felician.nemeth <at> gmail.com>, larsi <at> gnus.org,
 monnier <at> iro.umontreal.ca
Subject: Re: bug#58892: 29.0.50;
 [PATCH] eglot-manual: Open the local info documentation
Date: Fri, 11 Nov 2022 05:05:28 -0800

João Távora <joaotavora <at> gmail.com> writes:

> On Sun, Oct 30, 2022 at 2:02 PM Eli Zaretskii <eliz <at> gnu.org> wrote:
>
>  > Currently, Eglot has a menu item that opens
>  > https://github.com/joaotavora/eglot#readme.  I think opening that URL
>  > doesn't make sense anymore since eglot.texi is the primary source of the
>  > documentation.   Is it OK then to remove this menu item?
>
>  Fine by me, but please wait for João to chime in.
>
> Yes, it's fine. Show a patch and or push directly if you have permissions.

Now done, see commit c64d94c849.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.