GNU bug report logs - #31086
[PATCH] xref: Make xref-push-marker-stack interactive

Previous Next

Full log

Message #16 received at 31086 <at> debbugs.gnu.org (full text, mbox):

From: Dmitry Gutov <dgutov <at> yandex.ru>
To: Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: George Kadianakis <desnacked <at> riseup.net>, 31086 <at> debbugs.gnu.org
Subject: Re: bug#31086: [PATCH] xref: Make xref-push-marker-stack interactive
Date: Tue, 25 Jun 2019 02:29:54 +0300

Hi Lars,

On 24.06.2019 18:25, Lars Ingebrigtsen wrote:

> It didn't sound like anybody else had an opinion here...  Dmitry, do you
> still think that this is probably something we don't want?

Still not convinced, no. It's a customization that is easy to set up in 
a personal init script, so unless we see similar requests, I'd rather 
hold off installing it in the core.

It's not a strong opinion, though.

Previous Next

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