This Merge Request is automatically created
approved this merge request
merged
mentioned in commit a2772e5f