Signed-off-by: Martin Weise martin.weise@tuwien.ac.at
enabled an automatic merge when the pipeline for 5cdbf4df succeeds
mentioned in commit 937f748d
merged