[Jenkins]Jenkins
log in
Started 6 yr 11 mo ago
Took 1.8 sec on Rechenknecht

Build #216 (May 22, 2017, 4:46:20 PM)

Changes
  1. Install a profile with our fonts as default. (commit: 88d861f) (details)

Identified problems

No identified problem

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