Checking pipeline status.
enabled an automatic merge when the pipeline for 259b5798 succeeds
merged
mentioned in commit 6a1b042e