bug#70958: 30.0.50; eglot-managed-mode hooks not called on shutdown

[João Távora]

On Mon, May 27, 2024 at 10:05 PM João Távora <joaotavora@gmail.com> wrote:

> > So the current situation can be regarded as a regression.
>
> I think it does matter, it's one less thing to worry about if we
> push that one-liner patch.  Can you comment on it, is it doing
> more or less the same in your opinion?  I opted to put it before
> before the server is shutdown, so that, like the on case, it has
> access to a presumably fully setup server.

I've just pushed the one-line patch.  I hope someone can test it
and then we can probably close this bug.

João