Started 1 yr 4 mo ago
Took 14 sec

Success Build #26 (Aug 3, 2018 7:34:55 AM)

No changes.

Started by user cds@informatik.uni-kiel.de

Revision: 7ec771772f83aa74837286e00c50a77c54b7b7c7
  • refs/remotes/origin/releases/0.4.1