Merge branch 'master' into https 3/head
authorEmmanuel L├ęcharny <elecharny@symas.com>
Tue, 21 May 2019 15:41:27 +0000 (17:41 +0200)
committerGitHub <noreply@github.com>
Tue, 21 May 2019 15:41:27 +0000 (17:41 +0200)
commit48efaa2974d13c2207ce906b9bea2ace023fd531
tree71d2fc361622376b843c22318857b758b24bb9d6
parent664d21055b66728e9d860d119c2ef15c1c380111
parent3bd5fa7fe38939146598e6f9956ff1c6cc86a300
Merge branch 'master' into https
pom.xml