Back to development

2 jobs for master in 1 minute and 3 seconds (queued for 26 seconds)
Status Name Job ID Coverage
  Build
passed build #11888

00:00:25

 
  Distcheck
passed distcheck #11889

00:00:37