changed milestone to %0.1.3
enabled an automatic merge when the pipeline for 4f7178d0 succeeds
canceled the automatic merge
merged
mentioned in commit e6a3e35a