Started 1 mo 19 days ago
Took 37 sec

Success Build #4 (Jul 29, 2019 10:43:56 AM)

Changes
  1. update changelog (detail / githubweb)

Started by user didier.vojtisek@inria.fr

Revision: d9e58bd50e715216acf820bea757b5ebf97a3075
  • refs/remotes/origin/master