Checking pipeline status.
Pipeline #581918 passed
Pipeline passed for 7236498a on master 4 years ago
enabled an automatic merge when the pipeline for 29fbf3b0 succeeds
By Maxime Perrotin on 2020-07-30T14:49:49
merged
By Maxime Perrotin on 2020-07-30T14:58:20
mentioned in commit 7236498a