[Nuiton-profiling-commits] 01/02: Merge branch 'release/3.1' into develop

This is an automated email from the git hooks/post-receive script. New commit to branch develop in repository nuiton-profiling. See https://gitlab.nuiton.org/nuiton/nuiton-profiling.git commit 9493e97a56ba7301a72ad069436c9455366ef4cf Merge: 4d245c6 3905eb0 Author: Éric <chatellier@codelutin.com> Date: Wed Jun 24 11:54:06 2020 +0200 Merge branch 'release/3.1' into develop pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) -- To stop receiving notification emails like this one, please contact nuiton.org SCM administrator <admin+scm@nuiton.org>.