This resolves #821 (closed).
Pipeline #118827 passed
Pipeline passed for f3e8bea8 on i821 1 year ago
Merge details
Closed #821 (closed)
Pipeline #118829 passed
Pipeline passed for a78f659c on main 1 year ago
enabled an automatic merge when the pipeline for f3e8bea8 succeeds
changed the description
merged
mentioned in commit a78f659c