Jenkins build is back to normal : Build branch "master" » ubuntu-xenial-qt4-autotools-extended #1674

https://ci.inria.fr/lyx/job/build-master-head/job/ubuntu-xenial-qt4-autotools-extended/1674/

Jenkins build is back to normal : Build branch "master" » ubuntu-latest-qt5-cmake #1751

https://ci.inria.fr/lyx/job/build-master-head/job/ubuntu-latest-qt5-cmake/1751/

Jenkins build is back to normal : Build branch "master" » ubuntu-xenial-qt4-autotools #1457

https://ci.inria.fr/lyx/job/build-master-head/job/ubuntu-xenial-qt4-autotools/1457/