|
From: | Dmitry Gutov |
Subject: | bug#32034: 26.1; [PACTH] better xref-location-marker for imperfect file locations |
Date: | Mon, 10 Aug 2020 21:53:32 +0300 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 |
On 10.08.2020 15:59, Lars Ingebrigtsen wrote:
This was over two years ago, and there was some followup discussion between Dmitry and João, but I think the consensus here was that the patches fixes a real problem, ans should probably be applied? As far as I can see, that never happened.
Nope, that wasn't the consensus. The proposed patch had problems, and we haven't reached any next version.
[Prev in Thread] | Current Thread | [Next in Thread] |