closes #818 (closed)
Checking pipeline status.
Merge details
requested review from @erwanrouchet
assigned to @mlbonhomme
approved this merge request
merged
mentioned in commit 53ea1681