assigned to @debdolph
mentioned in merge request !24 (merged)
closed with merge request !24 (merged)
mentioned in commit 1b839c04