Checking pipeline status.
Pipeline #581908 passed
Pipeline passed for 4c9396a6 on master 4 years ago
enabled an automatic merge when the pipeline for d6e3c7eb succeeds
By Maxime Perrotin on 2020-07-08T16:40:27
merged
By Maxime Perrotin on 2020-07-08T16:48:21
mentioned in commit 4c9396a6