Closes #497 (closed)
enabled an automatic merge when the pipeline for f98d4cd1 succeeds
merged
mentioned in commit 92e8bb33