Changes

Summary

Commit 7e9767c15daf84052bc4b98c6fe68d0b5c0837d2 by brice.goglin contrib/ci.inria.fr: fix quotes to avoid invalid error messages Signed-off-by: Brice Goglin <Brice.Goglin@inria.fr>
	contrib/ci.inria.fr/job-3-sonarscanner.sh (diff)