Merge details
enabled an automatic merge when the pipeline for a9ff33c6 succeeds
mentioned in commit 7e11f40c
merged