Pipeline #60292 passed
Pipeline passed for 20daf0d1 on readme Sep 9, 2019
Pipeline #60296 passed
Pipeline passed for 28d4befd on master Sep 9, 2019
enabled an automatic merge when the pipeline for 20daf0d1 succeeds
merged
mentioned in commit 28d4befd
