On 11/09/2019 16:00, Michael Crusoe wrote:
> Thanks Andrej!
> I recently learned that mypyc is being rolled into the main mypy package
> upstream, so I'm holding off for the next release of mypy

Thanks for letting me know. When that happens, ping me if you need a
review or something.

Meanwhile, I have prepared a merge request to provide better manpages
for mypy: https://salsa.debian.org/med-team/mypy/merge_requests/1

Please consider to merge it if you’re not unhappy with the way I do it :)


Reply via email to