Related: #208
mentioned in issue #208
enabled an automatic merge when the pipeline for 5d45c746 succeeds
merged
mentioned in commit ae487522