Closed JohannesGaessler closed 4 years ago
I accidentally merged https://github.com/DistributedTaskScheduling/JobAdder/pull/93 when the travis build was failing. The changes were reverted and this PR will be the same content but with working builds.
Seems like the WIP commit should be squashed with something else, didn't notice that one before :)
I accidentally merged https://github.com/DistributedTaskScheduling/JobAdder/pull/93 when the travis build was failing. The changes were reverted and this PR will be the same content but with working builds.