Skip to content

1.14.2
Compare
Choose a tag to compare
@rgrinberg rgrinberg released this 06 Nov 00:08
· 345 commits to master since this release
1.14.2
ca836e9
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

CHANGES:

Fixes

  • Fix random requests failing after switching documents (#904, fixes #898)

  • Do not offer related diagnostic information unless the user enables in client
    capabilities (#905)

  • Do not offer diagnostic tags unless the client supports them (#909)

  • Do not attach extra data to diagnostics unless the client supports this
    (#910)

  • Use /bin/sh instead of /bin/bash. This fixes ocamllsp on NixOS

Assets 3
Loading