Signed-off-by: Martin Weise martin.weise@tuwien.ac.at
assigned to @mweise
enabled an automatic merge when all merge checks for e66c34c8 pass
mentioned in commit f15a0eee
merged