Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #400 from joaotavora/scratch/fix-277-exit-notifica…
…tion Fix #277: Send exit as a notification #400: joaotavora/eglot#400 #277: joaotavora/eglot#277
- Loading branch information