monnier pushed a change to tag 0.7. *** WARNING: tag 0.7 was deleted! ***
was 4211e0ca5e * eglot.el (Version): Bump to 0.7
The revisions that were on this tag are still contained in
other references; therefore, this change does not discard any commits
from the repository.
