requested review from @khr
assigned to @seibl
approved this merge request
merged
mentioned in commit 44f43d64