passed Job #1989 in pipeline #455 for 0c2216ca from master by Andreas Klöckner @inducer Jan 30, 2016