passed Job #277445 in pipeline #9531 for bdcdd85e from master by Johannes Rothmayr @Johannes