assigned to @dreher
created merge request !1 (merged) to address this issue
mentioned in merge request !1 (merged)
mentioned in issue #11 (closed)
closed
mentioned in commit 7a1f80ac