- Fix: the PyPI page had broken links to documentation pages, but no longer does, closing issue 1566.
- Fix: public members of the coverage module are now properly indicated so that mypy will find them, fixing issue 1564.
➡️ PyPI page: coverage 7.2.1.
➡️ To install: python3 -m pip install coverage==7.2.1