Merge details
enabled an automatic merge when the pipeline for 48d20ecb succeeds
By Maxime Perrotin on 2020-05-21T07:47:11
merged
By Maxime Perrotin on 2020-05-21T07:55:37
mentioned in commit 5c5785a7
By Maxime Perrotin on 2020-05-21T07:55:38
Provided with