This resolves #759 (closed).
Pipeline #121401 passed
Pipeline passed for 99dc465d on j.docunused 1 year ago
Merge details
Closed #759 (closed)
Pipeline #121404 passed
Pipeline passed for da993d62 on main 1 year ago
enabled an automatic merge when the pipeline for 99dc465d succeeds
merged
mentioned in commit da993d62