Description
I'm going to release mypy 0.810 soon, using an accelerated release process (likely Feb 10 or Feb 11). This is a small release that only includes #9992, which fixes a regression in 0.800.
This is not going to be called 0.801, since the fix includes a behavior change and a new command-line option.