Changes

Summary

Commit 5461f9c33ba4711c4a4ad5c031540f61c4d6441d by brice.goglin contrib/ci.inria.fr: update sonarqube server Signed-off-by: Brice Goglin <Brice.Goglin@inria.fr> (cherry picked from commit 1962133e4e414321d04a0704cf4cdef489c6b98c)
	contrib/ci.inria.fr/job-3-sonarscanner.sh (diff)