tree ec487ef346285215b136e4996e5624a9769caf12
parent bdfab7e19fb25b2361346cf61c160ec56874af91
author peusterm <manuel.peuster@uni-paderborn.de> 1457968357 +0100
committer peusterm <manuel.peuster@uni-paderborn.de> 1457968357 +0100

Added some delays to test to see if this causes the problem in the CI.