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 :) -- Cheers, Andrej