created merge request !26 (merged) to address this issue
assigned to @RainerKartmann
mentioned in merge request !26 (merged)
mentioned in commit da1853b7
closed