merged
mentioned in commit 9346cc0e
mentioned in commit 4275c106
mentioned in merge request !95 (merged)