tree 955696c207ef05d1d94b0a26cdf6bcec19a0db6a
parent 4738b96d753957ebe65d3e9b7091ee9ed4ba98d9
author Gilles Peskine <Gilles.Peskine@arm.com> 1611089889 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1611140604 +0100

mypy: require at least version 0.780

0.780 works. The previous release, 0.770, does not.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>