Pipeline #216092 passed
Pipeline passed for a456f951 on dev Aug 23, 2019
Pipeline #216093 passed
Pipeline passed for 1317d434 on master Aug 23, 2019
added 1 deleted label
enabled an automatic merge when the pipeline for a456f951 succeeds
merged
mentioned in commit 1317d434
