Skip to content

Add initial config for mypy#337

Merged
jelmer merged 2 commits intomasterfrom
mypy
Nov 19, 2022
Merged

Add initial config for mypy#337
jelmer merged 2 commits intomasterfrom
mypy

Commits

Commits on Nov 19, 2022