Checking pipeline status.
assigned to @konykon
enabled an automatic merge when the pipeline for 724ef0be succeeds
merged
mentioned in commit 7283069f