Skip to content

use modules as protocols#2602

Merged
asottile merged 1 commit intomainfrom
mypy-modules-as-protocols
Dec 27, 2022
Merged

use modules as protocols#2602
asottile merged 1 commit intomainfrom
mypy-modules-as-protocols

Conversation

@asottile
Copy link
Copy Markdown
Member

No description provided.

@asottile asottile force-pushed the mypy-modules-as-protocols branch from 5e6df12 to cfff42b Compare December 12, 2022 18:40
@asottile asottile force-pushed the mypy-modules-as-protocols branch from cfff42b to 40e69ce Compare December 27, 2022 16:46
@asottile asottile merged commit d33df92 into main Dec 27, 2022
@asottile asottile deleted the mypy-modules-as-protocols branch December 27, 2022 18:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant