New Upstream Release - mypy

Merged new upstream version: 0.711 (was: 0.701).

More details

Full run details