Subject: Re: bug#77439: [PATCH] Eglot: introduce eglot-show-diagnostics-source

From: Nicolás Ojeda Bär <[email-masked]>
Date: Thu, 24 Apr 2025 09:58:45 +0200

Hello,

On Mon, Apr 21, 2025 at 10:05 AM João Távora <[email-masked]> wrote:
>
> Anyway, please test the solution and then this bug can be closed.

I tested this and I confirm it fixes the bug. Thanks!

Cheers,
Nicolas

> João