assigned to @445519
enabled an automatic merge when the pipeline for 9eb1533b succeeds
merged
mentioned in commit a5e3e19d