Skip to content

Delete job pid if such process doesn't exist#230

Merged
zdavatz merged 3 commits intozdavatz:masterfrom b123400:fix-229Dec 7, 2023

Commits

Commits on Dec 7, 2023