Merge details
enabled an automatic merge when the pipeline for 93ea51af succeeds
By Maxime Perrotin on 2020-05-18T12:46:56
mentioned in commit 8dfd19dc
By Maxime Perrotin on 2020-05-18T12:57:46
merged
By Maxime Perrotin on 2020-05-18T12:57:46
Provided with