This resolves #593 (closed).
Pipeline #99228 passed
Pipeline passed for 416a6bdf on i593 1 year ago
Merge details
Closed #593 (closed)
Pipeline #99230 passed
Pipeline passed for 7b6081d0 on main 1 year ago
enabled an automatic merge when the pipeline for 416a6bdf succeeds
merged
mentioned in commit 7b6081d0