Closes #1 (closed)
Checking pipeline status.
enabled an automatic merge when the pipeline for 600177f8 succeeds
canceled the automatic merge
merged
mentioned in commit c4c7611b