Skip to content

Update jedi language server#15789

Merged
karthiknadig merged 1 commit into
microsoft:mainfrom
karthiknadig:update-jedi
Mar 26, 2021
Merged

Update jedi language server#15789
karthiknadig merged 1 commit into
microsoft:mainfrom
karthiknadig:update-jedi

Conversation

@karthiknadig
Copy link
Copy Markdown
Member

No description provided.

@karthiknadig karthiknadig added the no-changelog No news entry required label Mar 26, 2021
@karthiknadig karthiknadig merged commit c68098a into microsoft:main Mar 26, 2021
@karthiknadig karthiknadig deleted the update-jedi branch April 9, 2021 00:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-changelog No news entry required

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants