LeanLsp v0.2.1 is a patch release in the v0.2 runtime-preview line.
Highlights:
- Fixed Docker runtime startup for images whose default ENTRYPOINT can reinterpret
the managed keepalive container command. - Added regression coverage for Issue #72.
- Kept the package experimental and preview-oriented; this is still not a
production-ready Lean LSP client.
Links:
- Changelog: CHANGELOG.md
- Hex package: lean_lsp
- HexDocs: lean_lsp documentation