![[Jenkins]](/jenkins/static/dde5e32c/images/jenkins-header-logo-v2.svg){kind=logo}
Started 5 yr 11 mo ago
Took 20 sec
on jenkinscrosscompiler
Build #11
(Feb 11, 2016 12:45:36 AM)
 | No changes. |
 | Started by user Kenneth Lausdahl |
 | Revision: 0d2c1e90590e00871ce26f32f1850837792d3495
|