Merge details
enabled an automatic merge when the pipeline for 1c35d025 succeeds
By Maxime Perrotin on 2020-05-18T12:21:42
mentioned in commit 08c06554
By Maxime Perrotin on 2020-05-18T12:39:58
merged
By Maxime Perrotin on 2020-05-18T12:39:58
Provided with