Skip to content

Improve time taken to trigger language server startup once extension activation is triggered#22514

Merged
karrtikr merged 20 commits intomainfrom
kartik/corporate-harrier
Feb 5, 2024
Merged

Improve time taken to trigger language server startup once extension activation is triggered#22514
karrtikr merged 20 commits intomainfrom
kartik/corporate-harrier

Commits

Commits on Feb 5, 2024