Closes #502 (closed)
enabled an automatic merge when the pipeline for a4bfcd34 succeeds
merged
mentioned in commit 55fda34d