|
From: | Dmitry Gutov |
Subject: | bug#38797: 27.0.50; Feature request: provide the opposite of xref-pop-marker-stack |
Date: | Tue, 9 Nov 2021 16:09:44 +0300 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.13.0 |
On 09.11.2021 16:08, Mattias EngdegÄrd wrote:
9 nov. 2021 kl. 09.30 skrev Juri Linkov<juri@linkov.net>:Now pushed both. Is this feature request is ready for closing?Thank you and yes, as far as I'm concerned. An unbounded number of improvements that can be made but we don't need to keep the bug open for that, do we?
Looks good to me as well. Thank you both. Closing the bug.
[Prev in Thread] | Current Thread | [Next in Thread] |