Fixed documentation and preovided default value for database in JobManager
Closes #12 (closed)
Fixed it.
Merge request reports
Activity
Reassigned to @andre.anjos
Andre, would you check this PR? @heusch is not allowed to merge.
Mentioned in commit 1cc03e38
Please register or sign in to reply