![[Jenkins]](/henshin/static/a42d1bc0/images/jenkins-header-logo-v2.svg){kind=logo}
Started 4 yr 2 mo ago
Took 1 min 20 sec
Build #12
(Nov 30, 2016, 8:31:35 AM)
 | No changes. |
 | Started by user Daniel Strueber |
 | Revision: 90c58d742a98fe600646d882cde577f995d6b5cc
|