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

[ci-lyx]

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