Checking pipeline status.
Pipeline #235080 passed
Pipeline passed for 486dfcf9 on master Jan 30, 2020
enabled an automatic merge when the pipeline for 26e36124 succeeds
merged
mentioned in commit 486dfcf9
