On 2017/12/10 11:51:26, Joachim Metz wrote: LGTM
Changes have been merged with master branch. To close the review and clean up the feature branch you can run: review.py close fixes