Skip to content

Fix bug where coverage data is not saved on SIGTERM#1600

Merged
nedbat merged 3 commits intonedbat:masterfrom LewisGaul:sigterm-bugApr 6, 2023

Commits

Commits on Apr 6, 2023