Commit 18f37a08020c532845302274dc02d1dfbef99abc
Branch knotc_status
Status success
Result Jenkins task Date
success 6232 2017-03-20 10:02:43 +0100