Skip to content

Register Jedi regardless of what language server is configured - #15452

Merged
Kartik Raj (karrtikr) merged 2 commits into
microsoft:mainfrom
karrtikr:jedilsks
Feb 19, 2021
Merged

Register Jedi regardless of what language server is configured#15452
Kartik Raj (karrtikr) merged 2 commits into
microsoft:mainfrom
karrtikr:jedilsks

News entry

51a9c4b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs