Hopefully, this resolves #640 (closed).
Pipeline #102379 passed
Pipeline passed for 31d9fbff on i640 1 year ago
Pipeline #102411 passed
Pipeline passed for 5ccb7738 on main 1 year ago
enabled an automatic merge when the pipeline for 31d9fbff succeeds
merged
mentioned in commit 5ccb7738