Fixed #518

Signed-off-by: Martin Weise martin.weise@tuwien.ac.at

Closes #518

added Bug priority::3 status::Doing labels

assigned to @mweise

enabled an automatic merge when all merge checks for e75471ee pass

closed

aborted the automatic merge because merge request was closed