This resolves #521 (closed).
Pipeline #91998 passed
Pipeline passed for 5f537a32 on i521 2 years ago
Merge details
Closed #521 (closed)
Pipeline #92064 passed
Pipeline passed for 906b6acb on main 2 years ago
enabled an automatic merge when the pipeline for 5473f688 succeeds
aborted the automatic merge because source branch was updated
added 1 commit
Compare with previous version
merged
mentioned in commit 906b6acb