enabled an automatic merge when the pipeline for 8f0097d7 succeeds
By Maxime Perrotin on 2020-06-19T14:34:48
merged
By Maxime Perrotin on 2020-06-19T14:43:13
mentioned in commit fdf4a6cd