... and remove the obsolete comment "unreleased".
enabled an automatic merge when the pipeline for 14708522 succeeds
merged
mentioned in commit f5709bee