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

From: João Távora <[email-masked]>
Date: Wed, 2 Apr 2025 07:46:30 +0100

On Wed, Apr 2, 2025 at 7:39 AM Nicolás Ojeda Bär <[email-masked]> wrote:
>
> Dear João,
>
> Thanks for the quick reply. I'm including here a revised version of the patch.

I'll look into in more detail later and possibly push it.

> Actually, I believe I have a copyright assignment on file from long time ago.
> Otherwise, let me know and I'll submit the papers.

I see you in the copyright file indeed.  Great!

João