Resolves #836 (closed)
Pipeline #120488 passed
Pipeline passed for a78a8141 on m.i836 1 year ago
Pipeline #120491 passed
Pipeline passed for 99c3f44c on main 1 year ago
enabled an automatic merge when the pipeline for a78a8141 succeeds
merged
mentioned in commit 99c3f44c