Skip to content
GitLab
Explore
Sign in
software
gridtk
Merge requests
!20
Resolve "jman fails when jobs are deleted before they are finished"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Manuel Günther
requested to merge
26-jman-fails-when-jobs-are-deleted-before-they-are-finished
into
master
May 31, 2018
Overview
0
Commits
1
Pipelines
2
Changes
2
Expand
Closes
#26 (closed)
Edited
Jun 06, 2018
by
Amir MOHAMMADI
Merge request reports