Builds for installation-guide in Ubuntu Disco

Build started on 2018-11-20 on lgw01-amd64-016 and finished on 2018-11-20 taking 10 minutes — see the log

Build started on 2018-11-20 on lgw01-amd64-016 and finished on 2018-11-20 taking 10 minutes — see the log

Build started on 2018-07-06 on lcy01-amd64-027 and finished on 2018-07-06 taking 3 minutes — see the log