changed milestone to %1.2.0
enabled an automatic merge when the pipeline for d10f3736 succeeds
mentioned in commit 07ff89f0
merged