Closes #888 (closed)
assigned to @nik
marked this merge request as ready
merged
mentioned in commit 83f174dc