GNU bug report logs - #23793
25.0.95; CEDET should use xref marker stack when jumping

Previous Next

Full log

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

From: Noam Postavsky <npostavs <at> gmail.com>
To: Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: cedet-devel <at> lists.sourceforge.net,
 Bastian Beischer <bastian.beischer <at> gmail.com>, 23793 <at> debbugs.gnu.org
Subject: Re: bug#23793: 25.0.95;
 CEDET should use xref marker stack when jumping
Date: Tue, 25 Jun 2019 09:36:28 -0400

Lars Ingebrigtsen <larsi <at> gnus.org> writes:

> Thanks; I've applied it to the Emacs trunk.  It was just small enough to
> apply without a copyright assignment, if I counted the lines correctly,
> but for further changes, we'd need some copyright assignment paperwork.

As far as I understand it, the patch is essentially
s/push-tag-mark/xref-push-marker-stack/ + copying that call to a few
other places, so it counts as one line for copyright purposes.

Previous Next

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