created merge request !12 (merged) to address this issue
mentioned in merge request !12 (merged)
closed via merge request !12 (merged)
mentioned in commit 72662017