closes #1014 (closed)
Checking pipeline status.
Merge details
requested review from @erwanrouchet
assigned to @mlbonhomme
merged
mentioned in commit c4a48d0d