#2 (closed)
requested review from @elihu
approved this merge request
merged
mentioned in commit 911cf2bc