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

[ci-lyx]

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