Resolve "cherry-pick #522 into branch 5.0" (!670) · Merge requests · NEMO Workspace / Nemo · GitLab

Christian Ethe requested to merge 526-cherry-pick-522-into-branch-5-0 into branch_5.0 Aug 30, 2024

Closes #526 (closed)