New upstream version 7.1.2
Canceled
Andreas Tille
created pipeline for commit
5df9165a
, finished
For upstream
1 minute 19 seconds, queued for 118 seconds