]> git.eshelyaron.com Git - emacs.git/commitdiff
Merge pull request from joaotavora/scratch/fix-277-exit-notification
authorFelicián Németh <felician.nemeth@gmail.com>
Sun, 5 Jan 2020 13:32:15 +0000 (08:32 -0500)
committerGitHub <noreply@github.com>
Sun, 5 Jan 2020 13:32:15 +0000 (08:32 -0500)
Fix https://github.com/joaotavora/eglot/issues/277: Send exit as a notification

GitHub-reference: https://github.com/joaotavora/eglot/issues/400


Trivial merge