enabled an automatic merge when the pipeline for f5d34aed succeeds
By Maxime Perrotin on 2020-05-15T20:55:39
merged
By Maxime Perrotin on 2020-05-15T21:07:02
mentioned in commit d11173db