Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings
This repository was archived by the owner on Apr 14, 2022. It is now read-only.

Fix #601#622

Merged
MikhailArkhipov merged 6 commits into
microsoft:mastermicrosoft/python-language-server:masterfrom
MikhailArkhipov:601Copy head branch name to clipboard
Feb 19, 2019
Merged

Fix #601#622
MikhailArkhipov merged 6 commits into
microsoft:mastermicrosoft/python-language-server:masterfrom
MikhailArkhipov:601Copy head branch name to clipboard

Conversation

@MikhailArkhipov

Copy link
Copy Markdown

Fixes #601

  • Corrects 'import not found' for typeshed
  • Fixes reporting errors in closed files

This most probably conflicts with #621 so we can either merge together or I'll wait.

@MikhailArkhipov MikhailArkhipov merged commit b03b848 into microsoft:master Feb 19, 2019
@MikhailArkhipov MikhailArkhipov deleted the 601 branch February 26, 2019 00:15
jakebailey pushed a commit to jakebailey/python-language-server that referenced this pull request Nov 1, 2019
* Fix microsoft#601

* Merge issues

* Merge branch 'master' of https://github.com/Microsoft/python-language-server into 601

* Using
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Sometimes no analysis for pip installed libraries

2 participants

Morty Proxy This is a proxified and sanitized view of the page, visit original site.