Skip to content

Conversation

@hauntsaninja
Copy link
Collaborator

Also re-order docs and make them more greppable

Helps with e.g. complaints in #9944

Also re-order docs and make them more greppable
Copy link
Member

@sobolevn sobolevn left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

Copy link
Collaborator

@JukkaL JukkaL left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! This definitely seems clearer.

@JukkaL JukkaL merged commit b75d935 into python:master Oct 4, 2021
@hauntsaninja hauntsaninja deleted the packfind branch October 4, 2021 17:43
nipunn1313 added a commit to nipunn1313/mypy that referenced this pull request Oct 13, 2021
Two PRs landed and conflicted - python#11262 and python#11141
This fwd fixes the tests.
hauntsaninja pushed a commit that referenced this pull request Oct 13, 2021
Two PRs landed and conflicted - #11262 and #11141
This fwd fixes the tests.
ilevkivskyi pushed a commit that referenced this pull request Nov 16, 2021
Also re-order docs and make them more greppable

Helps with e.g. complaints in #9944

Co-authored-by: hauntsaninja <>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants