Started 3 yr 7 mo ago
Took 11 ms on Rechenknecht

Build #119 (Aug 5, 2020, 5:35:27 PM)

Changes
  1. version set to 3.4.0-SNAPSHOT. gwdg nexus for distribution management (details)
  2. Update versions for release (details)
  3. Update for next development version (details)

Identified problems

No identified problem

No problems were identified. If you know why this problem occurred, please add a suitable Cause for it.