Skip to content

Some minor documentation tweaks#14847

Merged
JukkaL merged 1 commit intomasterfrom
doc-tweaks
Mar 7, 2023
Merged

Some minor documentation tweaks#14847
JukkaL merged 1 commit intomasterfrom
doc-tweaks

Conversation

@JukkaL
Copy link
Copy Markdown
Collaborator

@JukkaL JukkaL commented Mar 6, 2023

I reviewed documentation changes to be included in mypy 1.1.

I reviewed documentation changes to be included in 1.1.
@JukkaL JukkaL merged commit 2523095 into master Mar 7, 2023
@JukkaL JukkaL deleted the doc-tweaks branch March 7, 2023 11:18
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.

2 participants