requested review from @Timothee
assigned to @cblanchon
approved this merge request
merged
mentioned in commit a6ecdb86