Skip to content

Do not prefix message with "[eglot]"#97

Merged
xvw merged 1 commit into
tarides:mainfrom
janestreet:fix-message
May 26, 2026
Merged

Do not prefix message with "[eglot]"#97
xvw merged 1 commit into
tarides:mainfrom
janestreet:fix-message

Commits

Commits on May 26, 2026