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

[ci-lyx]

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