Closes #1010 (closed)
Checking pipeline status.
Merge details
requested review from @babadie
assigned to @erwanrouchet
merged
mentioned in commit 82864f3f