Merge details
assigned to @Diziet
enabled an automatic merge when the pipeline for 5588774f succeeds
merged
mentioned in commit ef7c173c