This resolves #849 (closed).
Pipeline #122921 passed
Pipeline passed for 0c5a0f85 on j.649 1 year ago
Merge details
Closed #849 (closed)
Pipeline #122923 passed
Pipeline passed for e044e61e on main 1 year ago
changed the description
enabled an automatic merge when the pipeline for 0c5a0f85 succeeds
merged
mentioned in commit e044e61e