Closes #467
enabled an automatic merge when the pipeline for 52395d56 succeeds
mentioned in commit 1095ae66
merged