Closes #15 (closed)
mentioned in commit e1e4a580
Status changed to merged
Do you need a new patch release here?
not really. we can skip it.