Closes #25 (closed)
added type::bug label
assigned to @debdolph
approved this merge request
merged
mentioned in commit 2c77be2f