fixes #3610

assigned to @tleilax

approved this merge request

added 6 commits

• d8d3de72...d0353afb - 5 commits from branch main
• 703635c1 - fixes #3610 (closed)

Compare with previous version

enabled an automatic merge when the pipeline for 703635c1 succeeds

requested review from @davka

merged

mentioned in commit 3881ab2c

mentioned in commit aeecb634