[Development] Bug in Ubuntu 18.04 provisioning preventing builds in dev branch currently

[Tony Sarajärvi]

Hi

A small bug in the provisioning scripts of Ubuntu 18.04 prevents the builds from going through in dev branch currently. We run apt update only after we try to install the packages. So it's trying to install a package so old it doesn't exist in the repos anymore.

A fix has landed in 5.12 already (a side effect of another change), so a merge from 5.12 -> dev will fix the situation.

-Tony
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.qt-project.org/pipermail/development/attachments/20181007/6e341b07/attachment.html>