Build #6 (Apr 23, 2020, 10:00:04 AM)

	Started by user guillermo.polito@inria.fr
	Revision: eade150eb4b495c91a651fa3ef23e78721bb27b8 Repository: https://gitlab.inria.fr/RMOD/libgit-build.git master
	Revision: c99d18fcbd064bb9c4a4c2d8ec5ce28217042846 Repository: https://github.com/jenkinsci/git-plugin refs/remotes/origin/master