[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#62157: More control over the mouse behaviour in eglot
|
From: |
Stefan Kangas |
|
Subject: |
bug#62157: More control over the mouse behaviour in eglot |
|
Date: |
Wed, 13 Sep 2023 09:12:13 -0700 |
João Távora <joaotavora@gmail.com> 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 61257-done@debbugs.gnu.org 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.