Skip to content

fix: include non-optional version in VersionedTextDocumentIdentifier json - #16237

Open
thorimur wants to merge 6 commits into
leanprover:masterfrom
thorimur:lsp-optional-version-null
Open

thorimur wants to merge 6 commits into
leanprover:masterfrom
thorimur:lsp-optional-version-null

Merge remote-tracking branch 'upstream/downstream-green' into lsp-opt…

03b566a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view