Closes #807 (closed)
assigned to @bodin
requested review from @demariaa
enabled an automatic merge when all merge checks for 3d53c374 pass
merged
mentioned in commit 50641a5d