enabled an automatic merge when the pipeline for 26e9ecb3 succeeds
By Maxime Perrotin on 2020-07-01T18:42:19
merged
By Maxime Perrotin on 2020-07-01T18:50:48
mentioned in commit 75590c47
By Maxime Perrotin on 2020-07-01T18:50:49