mentioned in commit 4f240fc6
mentioned in merge request !370 (merged)
assigned to @mflehmig--tu-dresden.de
mentioned in merge request !371 (merged)
Thank you for filing this issue. It should be fixed with !371 (merged)
mentioned in commit cc657249
closed with merge request !371 (merged)