Code updated.
On 2018/04/20 07:31:33, Joachim Metz wrote: > Code updated. LGTM
Changes have been merged with master branch. To close the review and clean up the feature branch you can run: review.py close jenkins