enabled an automatic merge when the pipeline for 5fcaee74 succeeds
aborted the automatic merge because target branch was updated
Bad CI. Merged manually as b6cd18ff
closed