Subject: bug#32034: 26.1; [PACTH] better xref-location-marker for imperfect file locations

From: Dmitry Gutov <[email-masked]>
Date: Mon, 10 Aug 2020 21:53:32 +0300

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.