On 10/03/18 14:52, Pacho Ramos wrote:
> This packages are now up for grabs:
> ...
> dev-python/mypy
> ...

I can look after this one if nobody else wants it?

Mike  5:)