Commit 122ef226 authored by Amir MOHAMMADI's avatar Amir MOHAMMADI

Merge branch '26-jman-fails-when-jobs-are-deleted-before-they-are-finished' into 'master'

Resolve "jman fails when jobs are deleted before they are finished"

Closes #26

See merge request !20
parents ebf666f1 499caad8
Pipeline #21024 passed with stages
in 2 minutes and 52 seconds