Builds for gnome-user-docs in Ubuntu Trusty

Build started on 2018-08-17 on lgw01-amd64-034 and finished on 2018-08-17 taking 19 minutes — see the log

Build started on 2018-08-17 on lgw01-amd64-034 and finished on 2018-08-17 taking 19 minutes — see the log

Build started on 2013-06-15 on lamiak (i386/amd64) and finished on 2013-06-15 taking 12 minutes — see the log