closes #435 (closed)
The changes were merged into master
The source branch has been removed
Closed #435 (closed)
Status changed to merged
mentioned in commit 50ac15ee