enabled an automatic merge when the pipeline for 18bc5833 succeeds
By Maxime Perrotin on 2020-07-27T12:09:15
merged
By Maxime Perrotin on 2020-07-27T12:15:37
mentioned in commit 6d69a28d