Signed-off-by: Martin Weise martin.weise@tuwien.ac.at
enabled an automatic merge when all merge checks for 000f0d3d pass
merged
mentioned in commit 99d30ebf