|
| From: | Robert Pluim |
| Subject: | Re: eglot.el defcustomʼs |
| Date: | Tue, 25 Oct 2022 16:22:37 +0200 |
>>>>> On Tue, 25 Oct 2022 15:03:25 +0100, João Távora <joaotavora@gmail.com>
>>>>> said:
João> Looks fine to me!
João> João
OK, pushed as 8c3b8c3667
Robert
--
| [Prev in Thread] | Current Thread | [Next in Thread] |