Closes #1071 (closed)
added 3 commits
Compare with previous version
marked this merge request as ready
mentioned in commit f6008ca7
merged