Pipeline #1139 passed
Pipeline passed for b42e7e4b on mlong/doorsoo2 4 years ago
enabled an automatic merge when the pipeline for b42e7e4b succeeds
merged
mentioned in commit 10f85c7e
mentioned in commit d53d118f