Merge details
enabled an automatic merge when the pipeline for 77aad1c7 succeeds
By Maxime Perrotin on 2020-05-15T20:49:34
merged
By Maxime Perrotin on 2020-05-15T20:58:00
mentioned in commit 74f1b3d6
By Maxime Perrotin on 2020-05-15T20:58:01
Provided with