Closes #314 (closed)
assigned to @t.schroedter
approved this merge request
merged
mentioned in commit 0d5b386a