▽Unofficial Planet Python ●07/25 16:33 Last update: July 25, 2025 04:42 AM UTCNed BatchelderCoverage 7.10.0: patchYears ago I greeted a friend returning from vacation and asked how it hadbeen. She answered, “It was good, I got a lot done!” I understand that feeling.I just had a long vacation myself, and used the time to clean up some old issuesand add some new features in coverage.py v7.10.The major new feature is a configuratio