Nathalie Furmento 32e7f2d7cc Merge branch 'master' into fpga %!s(int64=4) %!d(string=hai) anos
..
disabled 618992814a Merge branch 'master' into fpga %!s(int64=4) %!d(string=hai) anos
job-0-tarball.sh 10894c915b contrib/ci.inria.fr: run make with -j4 %!s(int64=4) %!d(string=hai) anos
job-1-build-windows.sh 2f2067f0d7 contrib: set execute permission %!s(int64=4) %!d(string=hai) anos
job-1-check-windows.bat 0f97f62f85 configure/ci.inria.fr: fix PATH %!s(int64=4) %!d(string=hai) anos
job-1-check.sh 10894c915b contrib/ci.inria.fr: run make with -j4 %!s(int64=4) %!d(string=hai) anos