This reverts commit 9c5da57f
Merge details
enabled an automatic merge when the pipeline for da9668aa succeeds
merged