created merge request !21 (merged) to address this issue
mentioned in merge request !21 (merged)
assigned to @RainerKartmann
closed
mentioned in commit 863bfd88
mentioned in issue #378 (closed)