Skip to content

Pin language server version for certain portals#514

Merged
edwardpark97 merged 1 commit intomainfrom
portal_pin
Jan 22, 2026
Merged

Pin language server version for certain portals#514
edwardpark97 merged 1 commit intomainfrom
portal_pin

Commits

Commits on Jan 22, 2026