Pipeline #8936 passed
Pipeline passed for f92a3375 on improve-documentation 4 years ago
Merge details
Pipeline #8937 passed
Pipeline passed for 28c7f182 on master 4 years ago
enabled an automatic merge when the pipeline for f92a3375 succeeds
merged
mentioned in commit 28c7f182