Another thing remaining from the Himanis era!
Checking pipeline status.
assigned to @erwanrouchet
changed the description
requested review from @babadie
merged
mentioned in commit 80c0a817
