Closes #461 (closed)
enabled an automatic merge when the pipeline for 701eb78b succeeds
merged
mentioned in commit db697f9d