change in configuration got missed
Status changed to merged
By Andrew Heather on 2016-10-04T14:28:18 (imported from GitLab project)