[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#62198: eglot feature request: set Initialize.ClientInfo.{Name, Versi
From: |
Eli Zaretskii |
Subject: |
bug#62198: eglot feature request: set Initialize.ClientInfo.{Name, Version} |
Date: |
Thu, 03 Aug 2023 13:20:20 +0300 |
> From: João Távora <joaotavora@gmail.com>
> Date: Thu, 3 Aug 2023 11:15:50 +0100
> Cc: Felician Nemeth <felician.nemeth@gmail.com>, 62198@debbugs.gnu.org,
> adonovan@google.com
>
> Sorry,
>
> I think Felicián's patch looks good, and we should push it to master.
Thanks, done, and closing the bug.