Started 24 days ago
Took 50 sec

Success Build #3 (Jun 27, 2019 11:31:35 AM)

Changes
  1. update changelog (detail / githubweb)
  2. update changelog (detail / githubweb)

Started by user didier.vojtisek@inria.fr

Revision: 26937427e4543bc00608c2c028b622d796a3b9f5
  • refs/remotes/origin/master