Subject: Re: bug#62157: More control over the mouse behaviour in eglot

From: Stefan Kangas <[email-masked]>
Date: Wed, 13 Sep 2023 09:12:13 -0700

João Távora <[email-masked]> writes:

> The conclusion is quite correct, and I earlier meant to close the bug,
> but due to typical incompetence when copy-pasting in my brain
> sent mail to [email-masked] instead.  So maybe check
> if that other bug hasn't been closed in error :-)

I took a look and that bug seems to be fine.  It belongs to guix-patches.