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

Previous Next

Full log

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

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Dmitry Gutov <dgutov <at> yandex.ru>
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 13:06:00 +0200

Dmitry Gutov <dgutov <at> yandex.ru> writes:

> 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.

OK; closing the bug report.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Previous Next

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