Closes #1114 (closed)
added documentation label
added 1 commit
Compare with previous version
mentioned in commit 97a86b5b
merged