assigned to @RainerKartmann
created merge request !211 (merged) to address this issue
mentioned in merge request !211 (merged)
closed with commit 0726a6ad
mentioned in commit 0726a6ad