python-coverage (100:7.2.5-1) UNRELEASED; urgency=medium

  * https://github.com/nedbat/coveragepy/releases/tag/7.2.5

 -- Wong Hoi Sing Edison <hswong3i@pantarei-design.com>  Tue, 02 May 2023 11:12:16 +0800
